Sciweavers

241 search results - page 14 / 49
» ipps 2000
Sort
View
60
Voted
IPPS
2000
IEEE
15 years 3 months ago
Refinement Based Validation of an Algorithm for Detecting Distributed Termination
Mamoun Filali, Philippe Mauran, Gérard Padi...
60
Voted
IPPS
2000
IEEE
15 years 3 months ago
Scalable Model for Extensional and Intensional Descriptions of Unclassified Data
Hércules Antonio do Prado, Stephen C. Hirtl...
45
Voted
IPPS
2000
IEEE
15 years 3 months ago
Concurrent Specification and Timing Analysis of Digital Hardware Using SDL
Kenneth J. Turner, F. Javier Argul-Marin, Stephen ...