Sciweavers

17582 search results - page 322 / 3517
» From Distributed Sequential Computing to Distributed Paralle...
Sort
View
IPPS
1998
IEEE
15 years 8 months ago
Sorting on Clusters of SMPs
David R. Helman, Joseph JáJá
IPPS
1998
IEEE
15 years 8 months ago
Automated Verification of Communication Protocols Using CCS and BDDs
Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalew...
PODC
1998
ACM
15 years 8 months ago
Synthesis of Fault-Tolerant Concurrent Programs
Anish Arora, Paul C. Attie, E. Allen Emerson