Sciweavers

3181 search results - page 9 / 637
» Automated Deployment Support for Parallel Distributed Comput...
Sort
View
93
Voted
IPPS
2003
IEEE
15 years 7 months ago
Automated RTR Temporal Partitioning for Reconfigurable Embedded Real-Time System Design
Camel Tanougast, Yves Berviller, Philippe Brunet, ...
IPPS
1998
IEEE
15 years 6 months ago
Automated Verification of Communication Protocols Using CCS and BDDs
Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalew...
84
Voted
ISHPC
1997
Springer
15 years 6 months ago
Improving the Performance of Automated Forward Deduction System EnCal
Kazunori Nishi, Jingde Cheng, Kazuo Ushijima