73 search results - page 6 / 15 » Prioritized Token-Based Mutual Exclusion for Distributed Sys... |
101
click to vote
SSS
2007
Springer
15 years 7 months ago
2007
Springer
In [Dij74] Dijkstra introduced the notion of self-stabilizing algorithms, and presented three such algorithms for the problem of mutual exclusion on a ring of processors. The thir...
112
click to vote
CAV
2007
Springer
15 years 5 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
160
click to vote
OPODIS
2010
14 years 11 months ago
2010
We consider the problem of scheduling dependent real-time tasks for overloads on a multiprocessor system, yielding best-effort timing assurance. The application/scheduling model in...
PDP
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper investigate a mutual exclusion algorithm on distributed systems. We introduce a new algorithm based on the Naimi-Trehel algorithm, taking advantage of the distributed a...
101
click to vote
EUROPAR
1999
Springer
15 years 5 months ago
1999
Springer
This paper describes an approach to the implementation and the operation of a Simultaneous Multithreaded processor. We propose an architecture which integrates a software mechanism...