3979 search results - page 532 / 796 » Wild control operators |
171
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Combining high performance with low power consumption is becoming one of the primary objectives of processor designs. Instead of relying just on sleep mode for conserving power, a...
191
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
We describe a new architecture for Byzantine fault tolerant state machine replication that separates agreement that orders requests from execution that processes requests. This se...
189
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Power management has become increasingly necessary in large-scale datacenters to address costs and limitations in cooling or power delivery. This paper explores how to integrate p...
163
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
210
click to vote
CF
2006
ACM
16 years 19 days ago
2006
ACM
Packet processing systems maintain high throughput despite relatively high memory latencies by exploiting the coarse-grained parallelism available between packets. In particular, ...