Search Sciweavers | Sciweavers

24368 search results - page 466 / 4874

» Distributed Computing Economics

142

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 »

141

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 »

167

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 »

157

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 »

168

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