Sciweavers

3181 search results - page 9 / 637
» Automated Deployment Support for Parallel Distributed Comput...
Sort
View
161
Voted
IPPS
2003
IEEE
16 years 7 days ago
Automated RTR Temporal Partitioning for Reconfigurable Embedded Real-Time System Design
Camel Tanougast, Yves Berviller, Philippe Brunet, ...
IPPS
1998
IEEE
15 years 11 months ago
Automated Verification of Communication Protocols Using CCS and BDDs
Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalew...