Search Sciweavers | Sciweavers

18466 search results - page 52 / 3694

» On distributed systems and CSCL

125

click to vote

REX
1993

121views Logical Reasoning» more REX 1993»

Verification Tools for Finite-State Concurrent Systems

15 years 8 months ago

Download www-2.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

click to vote

IPPS
1992
IEEE

87views Distributed And Parallel Com...» more IPPS 1992»

Exploiting Concurrency among Tasks in Partitionable Parallel Processing Systems

15 years 8 months ago

Download www.engr.colostate.edu

Wayne G. Nation, Anthony A. Maciejewski, Howard Ja...

claim paper

Read More »

112

click to vote

SPDP
1992
IEEE

95views Distributed And Parallel Com...» more SPDP 1992»

A Balanced Layered Allocation Scheme for Hypercube Based Dataflow Systems

15 years 7 months ago

Download web.engr.oregonstate.edu

Vincent R. Freytag, Ben Lee, Ali R. Hurson

claim paper

Read More »

105

click to vote

ICPP
1989
IEEE

59views Distributed And Parallel Com...» more ICPP 1989»

Prefetching in File Systems for MIMD Multiprocessors

15 years 7 months ago

Download www.cs.dartmouth.edu

Carla Schlatter Ellis, David Kotz

claim paper

Read More »

Voted

CCGRID
2004
IEEE

84views Distributed And Parallel Com...» more CCGRID 2004»

Towards a Grid enabled system for multicomponent materials design

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers