Sciweavers

28821 search results - page 23 / 5765
» Distributed and parallel systems
Sort
View
97
Voted
CONCUR
1998
Springer
15 years 8 months ago
Detecting Deadlocks in Concurrent Systems
Lisbeth Fajstrup, Eric Goubault, Martin Rauß...
REX
1993
15 years 7 months ago
Verification Tools for Finite-State Concurrent Systems
Edmund M. Clarke, Orna Grumberg, David E. Long
131
Voted
ICPADS
1998
IEEE
15 years 7 months ago
Cluster Queue Structure for Shared-Memory Multiprocessor Systems
Weiping Zhu, T. Liang, Ce-Kuen Shieh