4273 search results - page 587 / 855 » Autonomic power and performance management for computing sys... |
159
click to vote
SERP
2003
15 years 8 months ago
2003
System reliability has become an increasingly important benchmark in measuring service continuity. As part of many service level agreements, system performance is gauged by how lo...
184
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Traditional operating systems differentiate between threads, which are managed by the kernel scheduler, and interrupt handlers, which are scheduled by the hardware. This approac...
201
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
178
click to vote
GI
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...
181
click to vote
ISCA
2006
IEEE
16 years 23 days ago
2006
IEEE
The physical layer of most wireless protocols is traditionally implemented in custom hardware to satisfy the heavy computational requirements while keeping power consumption to a ...