Search Sciweavers | Sciweavers

18493 search results - page 57 / 3699

» Timers for Distributed Systems

click to vote

REX
1993

121views Logical Reasoning» more REX 1993»

Verification Tools for Finite-State Concurrent Systems

14 years 1 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

14 years 1 months ago

Download www.engr.colostate.edu

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

claim paper

Read More »

click to vote

SPDP
1992
IEEE

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

A Balanced Layered Allocation Scheme for Hypercube Based Dataflow Systems

14 years 1 months ago

Download web.engr.oregonstate.edu

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

claim paper

Read More »

click to vote

ICPP
1989
IEEE

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

Prefetching in File Systems for MIMD Multiprocessors

14 years 1 months ago

Download www.cs.dartmouth.edu

Carla Schlatter Ellis, David Kotz

claim paper

Read More »

click to vote

CCGRID
2004
IEEE

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

Towards a Grid enabled system for multicomponent materials design

14 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers