Sciweavers

28821 search results - page 23 / 5765
» Distributed and parallel systems
Sort
View
CONCUR
1998
Springer
15 years 7 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
125
Voted
ICPADS
1998
IEEE
15 years 6 months ago
Cluster Queue Structure for Shared-Memory Multiprocessor Systems
Weiping Zhu, T. Liang, Ce-Kuen Shieh