5376 search results - page 896 / 1076 » Scalable Kernel Systems |
143
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
150
click to vote
CCGRID
2009
IEEE
15 years 11 months ago
2009
IEEE
In a cluster of multiple processors or cpu-cores, many processes may run on each compute node. Each process tends to issue contiguous I/O requests for snapshot, checkpointing or s...
158
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—With the abundance of location-aware portable devices such as cellphones and PDAs, a new emerging application is to use this pervasive computing platform to learn about the wher...
141
click to vote
GLVLSI
2009
IEEE
15 years 11 months ago
2009
IEEE
Networks-on-Chip (NoCs) become a critical design factor as chip multiprocessors (CMPs) and systems on a chip (SoCs) scale up with technology. With fundamental benefits of high ban...
152
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
—The use of variable data rate can reduce network latency and average power consumption, and automatic rate selection is critical for improving scalability and minimizing network...