Sciweavers

18466 search results - page 52 / 3694
» On distributed systems and CSCL
Sort
View
121
Voted
REX
1993
15 years 7 months ago
Verification Tools for Finite-State Concurrent Systems
Edmund M. Clarke, Orna Grumberg, David E. Long
94
Voted
IPPS
1992
IEEE
15 years 7 months ago
Exploiting Concurrency among Tasks in Partitionable Parallel Processing Systems
Wayne G. Nation, Anthony A. Maciejewski, Howard Ja...
102
Voted
ICPP
1989
IEEE
15 years 7 months ago
Prefetching in File Systems for MIMD Multiprocessors
Carla Schlatter Ellis, David Kotz
97
Voted
CCGRID
2004
IEEE
15 years 7 months ago
Towards a Grid enabled system for multicomponent materials design
Keita Teranishi, Padma Raghavan, Zi-Kui Liu