3256 search results - page 463 / 652 » Applications of Formal Methods to System Design and Verifica... |
155
click to vote
CF
2009
ACM
15 years 12 months ago
2009
ACM
As multithreaded server applications and runtime systems prevail, garbage collection is becoming an essential feature to support high performance systems. The fundamental issue of...
174
click to vote
IS
2002
15 years 5 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...
123
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
Over the past decade the sheer size and complexity of traditional operating systems have prompted a wave of new approaches to help alleviate the services provided by these operati...
173
click to vote
CODES
2009
IEEE
16 years 5 days ago
2009
IEEE
Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real-time systems to achieve fault tolerance. From an energy consumption point of view, time redun...
155
click to vote
DATE
2008
IEEE
15 years 12 months ago
2008
IEEE
With technology advances, the number of cores integrated on a chip and their speed of operation is increasing. This, in turn is leading to a significant increase in chip temperat...