Search Sciweavers | Sciweavers

17582 search results - page 272 / 3517

» From Distributed Sequential Computing to Distributed Paralle...

174

click to vote

PDIS
1994
IEEE

120views Distributed And Parallel Com...» more PDIS 1994»

Precision and Recall of GlOSS Estimators for Database Discovery

15 years 11 months ago

Download www.cs.cmu.edu

Luis Gravano, Hector Garcia-Molina, Anthony Tomasi...

claim paper

Read More »

138

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 »

160

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 »

150

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 »

169

click to vote

REX
1993

121views Logical Reasoning» more REX 1993»

Verification Tools for Finite-State Concurrent Systems

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers