1453 search results - page 155 / 291 » State and history in operating systems |
158
click to vote
DEXAW
2005
IEEE
16 years 20 hour ago
2005
IEEE
As Grids try to achieve optimal and balanced utilization of unused resources in a distributed system, fast and efficient discovery of resource states is a key requirement. For sm...
162
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
204
click to vote
USENIX
2004
15 years 7 months ago
2004
The prevention of damage caused to a system via malicious executables is a significant issue in the current state of security on Linux operating systems. Several approaches are av...
199
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
NAND flash-based solid state drives have emerged as revolutionary storage media during recent years. However, the wide-spread of SSD technology is currently obstructed by the fac...
161
click to vote
SRDS
2007
IEEE
16 years 20 days ago
2007
IEEE
Networked computing systems continue to grow in scale and in the complexity of their components and interactions. Component failures become norms instead of exceptions in these en...