17 search results - page 4 / 4 » Certifying a Termination Criterion Based on Graphs, without ... |
MSWIM
2003
ACM
13 years 10 months ago
2003
ACM
An ad hoc network is formed by wireless mobile nodes (hosts) that operate as terminals as well as routers in the network, without any centralized administration. Research in ad ho...
EMSOFT
2006
Springer
13 years 8 months ago
2006
Springer
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...