Search Sciweavers | Sciweavers

5171 search results - page 5 / 1035

» Deterministic Parallel Processing

click to vote

CONCUR
1995
Springer

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

A Complete Theory of Deterministic Event Structures

13 years 10 months ago

Download wwwhome.cs.utwente.nl

Arend Rensink

claim paper

Read More »

click to vote

LICS
2008
IEEE

122views Automated Reasoning» more LICS 2008»

On the Expressiveness and Decidability of Higher-Order Process Calculi

14 years 1 months ago

Download sardes.inrialpes.fr

In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...

Ivan Lanese, Jorge A. Pérez, Davide Sangior...

claim paper

Read More »

click to vote

STOC
1997
ACM

129views Algorithms» more STOC 1997»

Better Bounds for Online Scheduling

13 years 11 months ago

Download www2.informatik.hu-berlin.de

We study a classical problem in online scheduling. A sequence of jobs must be scheduled on m identical parallel machines. As each job arrives, its processing time is known. The goa...

Susanne Albers

claim paper

Read More »

click to vote

PODC
2004
ACM

145views Distributed And Parallel Com...» more PODC 2004»

Brief announcement: degree: optimal deterministic routing for P2P systems

14 years 13 days ago

Download isis.dia.unisa.it

Gennaro Cordasco, Luisa Gargano, Mikael Hammar, Vi...

claim paper

Read More »