Sciweavers

3181 search results - page 9 / 637
» Automated Deployment Support for Parallel Distributed Comput...
Sort
View
IPPS
1998
IEEE
15 years 11 months ago
Automated Verification of Communication Protocols Using CCS and BDDs
Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalew...
152
Voted
ISHPC
1997
Springer
15 years 11 months ago
Improving the Performance of Automated Forward Deduction System EnCal
Kazunori Nishi, Jingde Cheng, Kazuo Ushijima