Search Sciweavers | Sciweavers

17582 search results - page 340 / 3517

» From Distributed Sequential Computing to Distributed Paralle...

121

Voted

CONCUR
2008
Springer

79views Distributed And Parallel Com...» more CONCUR 2008»

Least Upper Bounds for Probability Measures and Their Applications to Abstractions

15 years 8 months ago

Download www.cs.uiuc.edu

Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanath...

claim paper

Read More »

106

click to vote

CONCUR
2008
Springer

78views Distributed And Parallel Com...» more CONCUR 2008»

Environment Assumptions for Synthesis

15 years 8 months ago

Download mtc.epfl.ch

Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...

claim paper

Read More »

120

Voted

CONCUR
2008
Springer

90views Distributed And Parallel Com...» more CONCUR 2008»

Quasi-Static Scheduling of Communicating Tasks

15 years 8 months ago

Download www.comp.nus.edu.sg

Philippe Darondeau, Blaise Genest, P. S. Thiagaraj...

claim paper

Read More »

162

click to vote

CONCUR
2008
Springer

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

Normed BPA vs. Normed BPP Revisited

15 years 8 months ago

Download www.memics.cz

Petr Jancar, Martin Kot, Zdenek Sawa

claim paper

Read More »

140

click to vote

CONCUR
2008
Springer

85views Distributed And Parallel Com...» more CONCUR 2008»

A Rule Format for Associativity

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers