4520 search results - page 546 / 904 » Algebraic Techniques for Timed Systems |
171
click to vote
MICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
Low-overhead checkpointing and rollback is a popular technique for fault recovery. While different approaches are possible, hardware-supported checkpointing and rollback at the ca...
218
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Since the electricity bill of a data center constitutes a significant portion of its overall operational costs, reducing this has become important. We investigate cost reduction o...
181
click to vote
HPDC
2010
IEEE
15 years 8 months ago
2010
IEEE
iFlow is a replication-based system that can achieve both fast and reliable processing of high volume data streams on the Internet scale. iFlow uses a low degree of replication in...
224
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
—“Big Data” in map-reduce (M-R) clusters is often fundamentally temporal in nature, as are many analytics tasks over such data. For instance, display advertising uses Behavio...
195
click to vote
GLVLSI
2005
IEEE
16 years 14 days ago
2005
IEEE
The instruction cache is a popular target for optimizations of microprocessor-based systems because of the cache’s high impact on system performance and power, and because of th...