4604 search results - page 171 / 921 » Concurrency in Synchronous Systems |
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
135
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
In the domain of multiprocessor real-time systems, there has been a wealth of recent work on scheduling, but relatively little work on the equally-important topic of synchronizati...
136
click to vote
SOSP
2007
ACM
16 years 29 days ago
2007
ACM
Energy management is a critical concern in wireless sensornets. Despite its importance, sensor network operating systems today provide minimal energy management support, requiring...
155
Voted
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...