Kamp writes to explain that virtual memory behavior can be important for program performance. That is, he explains From the programmer’s standpoint, the working set
Read moreProcess algebra reconsidered
Paper is here. The following incorrect claim is not unusual in the process algebra literature. Basically, what is missing [in classical automata theory] is the
Read moreHow much should software cost?
The biggest VA outlay — and its biggest savings generator — was the Vista’s Computerized Patient Record System, the home-grown system for electronic health records
Read moreNotes on modularity
Modularity is a desirable but elusive design property for large scale programs and computer systems [10, 11]. Designs that appear modular may, once put into
Read morePower savings via software
This press release is particularly fluffy, but whatever the reality of this very vaguely defined algorithmic development the basic message is correct to validate nine
Read moreQueues and algebra
Suppose we have a state machine Q, that implements a common first in first out queue. The input alphabet of Q consists of “Deq” and
Read moresimple lemma about pipelines
The connection between group structure and pipeline design seems like it merits a lot more attention than it gets. It’s not too hard to show
Read moreThe Amory Lovins bottleneck
Lovins observes that power inputs in many industrial processes go into a bottleneck that makes power conservation hard if you start at the wrong end.
Read moreInstructions per joule – a good start
… multi-GHz superscalar quad-core processors can execute approximately 100 million instructions per Joule, assuming all cores are active and avoid stalls or mispredictions. Lower-frequency in-order
Read more