Search Sciweavers | Sciweavers

27354 search results - page 195 / 5471

» Distributed And Parallel Computing

131

click to vote

IPPS
1994
IEEE

82views Distributed And Parallel Com...» more IPPS 1994»

How to Get Good Performance from the CM-5 Data Network

15 years 10 months ago

Download www.cs.berkeley.edu

Eric A. Brewer, Bradley C. Kuszmaul

claim paper

Read More »

128

click to vote

CONCUR
1994
Springer

69views Distributed And Parallel Com...» more CONCUR 1994»

On Unifying Assumption-Commitment Style Proof Rules for Concurrency

15 years 10 months ago

Download www.cse.dmu.ac.uk

Qiwen Xu, Antonio Cau, Pierre Collette

claim paper

Read More »

132

click to vote

CONCUR
1992
Springer

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

Bisimulation Equivalence is Decidable for all Context-Free Processes

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Søren Christensen, Hans Hüttel, Colin ...

claim paper

Read More »

119

click to vote

CONCUR
1992
Springer

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

Action Transducers and Timed Automata

15 years 10 months ago

Download groups.csail.mit.edu

Frits W. Vaandrager, Nancy A. Lynch

claim paper

Read More »

140

click to vote

PARLE
1993

134views Distributed And Parallel Com...» more PARLE 1993»

From Data Flow Networks to Process Algebras

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers