17 search results - page 4 / 4 » Certifying a Termination Criterion Based on Graphs, without ... |
MSWIM
2003
ACM
14 years 1 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
14 years 6 days 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...