4520 search results - page 402 / 904 » Algebraic Techniques for Timed Systems |
221
click to vote
ECRTS
2008
IEEE
16 years 2 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
224
click to vote
IS
2002
15 years 7 months ago
2002
Previous research in real-time concurrency control mainly focuses on the schedulability guarantee of hard real-time transactions and the reducing of the miss rate of soft real-tim...
228
click to vote
P2P
2008
IEEE
16 years 2 months ago
2008
IEEE
Redundancy is the basic technique to provide reliability in storage systems consisting of multiple components. A redundancy scheme defines how the redundant data are produced and...
223
click to vote
MICRO
2006
IEEE
16 years 1 months ago
2006
IEEE
Computer security is severely threatened by software vulnerabilities. Prior work shows that information flow tracking (also referred to as taint analysis) is a promising techniqu...
205
click to vote
IPPS
2005
IEEE
16 years 1 months ago
2005
IEEE
Modern server farm and cluster sites consume large quantities of energy both to power and cool the machines in the site. At the same time, less power supply redundancy is offered ...