Search Sciweavers | Sciweavers

23557 search results - page 348 / 4712

» Distributed Computing - Introduction

141

click to vote

CONCUR
1994
Springer

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

The Observational Power of Clocks

15 years 11 months ago

Download mtc.epfl.ch

Rajeev Alur, Costas Courcoubetis, Thomas A. Henzin...

claim paper

Read More »

138

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

Download www.cse.dmu.ac.uk

Qiwen Xu, Antonio Cau, Pierre Collette

claim paper

Read More »

162

click to vote

ICS
1994
Tsinghua U.

112views Distributed And Parallel Com...» more ICS 1994»

Optimal local register allocation for a multiple-issue machine

15 years 11 months ago

Download www.eecs.umich.edu

Waleed Meleis, Edward S. Davidson

claim paper

Read More »

154

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

Download homepages.inf.ed.ac.uk

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

claim paper

Read More »

165

click to vote

CONCUR
1992
Springer

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

Verification of Parallel Systems via Decomposition

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers