Search Sciweavers | Sciweavers

18469 search results - page 49 / 3694

» A Distributed Image-Understanding System

140

click to vote

CONCUR
1992
Springer

67views Distributed And Parallel Com...» more CONCUR 1992»

Verification of Parallel Systems via Decomposition

15 years 10 months ago

Download www.win.tue.nl

Jan Friso Groote, Faron Moller

claim paper

Read More »

147

click to vote

REX
1993

121views Logical Reasoning» more REX 1993»

Verification Tools for Finite-State Concurrent Systems

15 years 10 months ago

Download www-2.cs.cmu.edu

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

claim paper

Read More »

123

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 10 months ago

Download www.engr.colostate.edu

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

claim paper

Read More »

131

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 10 months ago

Download web.engr.oregonstate.edu

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

claim paper

Read More »

126

click to vote

ICPP
1989
IEEE

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

Prefetching in File Systems for MIMD Multiprocessors

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers