Sciweavers

18469 search results - page 49 / 3694
» A Distributed Image-Understanding System
Sort
View
99
Voted
CONCUR
1992
Springer
15 years 6 months ago
Verification of Parallel Systems via Decomposition
Jan Friso Groote, Faron Moller
REX
1993
15 years 6 months ago
Verification Tools for Finite-State Concurrent Systems
Edmund M. Clarke, Orna Grumberg, David E. Long
84
Voted
IPPS
1992
IEEE
15 years 6 months ago
Exploiting Concurrency among Tasks in Partitionable Parallel Processing Systems
Wayne G. Nation, Anthony A. Maciejewski, Howard Ja...