Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
17582
search results - page 272 / 3517
»
From Distributed Sequential Computing to Distributed Paralle...
Sort
relevance
views
votes
recent
update
View
thumb
title
119
click to vote
PDIS
1994
IEEE
120
views
Distributed And Parallel Com...
»
more
PDIS 1994
»
Precision and Recall of GlOSS Estimators for Database Discovery
15 years 8 months ago
Download
www.cs.cmu.edu
Luis Gravano, Hector Garcia-Molina, Anthony Tomasi...
claim paper
Read More »
96
click to vote
CONCUR
1994
Springer
77
views
Distributed And Parallel Com...
»
more
CONCUR 1994
»
The Observational Power of Clocks
15 years 8 months ago
Download
mtc.epfl.ch
Rajeev Alur, Costas Courcoubetis, Thomas A. Henzin...
claim paper
Read More »
117
click to vote
ICS
1994
Tsinghua U.
112
views
Distributed And Parallel Com...
»
more
ICS 1994
»
Optimal local register allocation for a multiple-issue machine
15 years 8 months ago
Download
www.eecs.umich.edu
Waleed Meleis, Edward S. Davidson
claim paper
Read More »
101
click to vote
CONCUR
1992
Springer
101
views
Distributed And Parallel Com...
»
more
CONCUR 1992
»
Bisimulation Equivalence is Decidable for all Context-Free Processes
15 years 8 months ago
Download
homepages.inf.ed.ac.uk
Søren Christensen, Hans Hüttel, Colin ...
claim paper
Read More »
127
click to vote
REX
1993
121
views
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 »
« Prev
« First
page 272 / 3517
Last »
Next »