2468 search results - page 357 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
175
click to vote
ICCS
2007
Springer
16 years 15 days ago
2007
Springer
A recent trend in modern high performance computing (HPC) system architectures employs “lean” compute nodes running a lightweight operating system (OS). Certain parts of the OS...
178
click to vote
IWSOS
2009
Springer
15 years 11 months ago
2009
Springer
In peer-to-peer storage systems, peers can freely join and leave the system at any time. Ensuring high data availability in such an environment is a challenging task. In this paper...
160
click to vote
HIPEAC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper describes Sunflower, a full-system microarchitectural evaluation environment for embedded computing systems. The environment enables detailed microarchitectura...
154
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
RTOS Simulation Henning Zabel, Wolfgang Mueller Universität Paderborn, C-LAB Fürstenallee 11, D-33102 Paderborn, Germany —Today, mobile and embedded real-time systems have to c...
152
click to vote
PODC
1994
ACM
15 years 10 months ago
1994
ACM
In this paper, we investigate the practical performance of lock-free techniques that provide synchronization on shared-memory multiprocessors. Our goal is to provide a technique t...