Search Sciweavers | Sciweavers

27354 search results - page 84 / 5471

» Distributed And Parallel Computing

140

click to vote

CONCUR
2004
Springer

87views Distributed And Parallel Com...» more CONCUR 2004»

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

15 years 10 months ago

Download www.it.uu.se

Luís Caires, Étienne Lozes

claim paper

Read More »

106

click to vote

CW
2004
IEEE

79views Distributed And Parallel Com...» more CW 2004»

Modeling Corporate Knowledge within the Agent Oriented Abstraction

15 years 10 months ago

Download iaks-www.ira.uka.de

Pierre Maret, Jacques Calmet

claim paper

Read More »

127

click to vote

EUROPAR
2006
Springer

100views Distributed And Parallel Com...» more EUROPAR 2006»

dCache, Storage System for the Future

15 years 10 months ago

Download documentation.hepcg.org

Patrick Fuhrmann, Volker Gülzow

claim paper

Read More »

134

click to vote

EUROPAR
2006
Springer

101views Distributed And Parallel Com...» more EUROPAR 2006»

Run-Time Switching Between Total Order Algorithms

15 years 10 months ago

Download www.di.fc.ul.pt

José Mocito, Luís Rodrigues

claim paper

Read More »

113

click to vote

EUROPAR
2000
Springer

75views Distributed And Parallel Com...» more EUROPAR 2000»

On the Predictive Quality of BSP-like Cost Functions for NOWs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers