Search Sciweavers | Sciweavers

18469 search results - page 49 / 3694

» A Distributed Image-Understanding System

122

click to vote

CONCUR
1992
Springer

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

Verification of Parallel Systems via Decomposition

15 years 8 months ago

Download www.win.tue.nl

Jan Friso Groote, Faron Moller

claim paper

Read More »

130

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 »

105

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 »

114

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

Download web.engr.oregonstate.edu

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

claim paper

Read More »

110

click to vote

ICPP
1989
IEEE

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

Prefetching in File Systems for MIMD Multiprocessors

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers