Sciweavers

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