Search Sciweavers | Sciweavers

5171 search results - page 46 / 1035

» Deterministic Parallel Processing

click to vote

CONCUR
2007
Springer

99views Distributed And Parallel Com...» more CONCUR 2007»

Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes

13 years 11 months ago

Download www-i2.informatik.rwth-aachen.de

Martin R. Neuhäußer, Joost-Pieter Katoe...

claim paper

Read More »

click to vote

CONCUR
2006
Springer

112views Distributed And Parallel Com...» more CONCUR 2006»

Reachability in Recursive Markov Decision Processes

13 years 11 months ago

Download www.fi.muni.cz

Tomás Brázdil, Václav Brozek,...

claim paper

Read More »

click to vote

EUROPAR
2006
Springer

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

Grid-Based Processing of High-Volume Meteorological Data Sets

13 years 11 months ago

Download www.unicore.eu

Guido Scherp, Jan Ploski, Wilhelm Hasselbring

claim paper

Read More »

click to vote

CONCUR
1995
Springer

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

Delayed choice for process algebra with abstraction

13 years 11 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

claim paper

Read More »

click to vote

ICDCS
1991
IEEE

133views Distributed And Parallel Com...» more ICDCS 1991»

Distributed processing of filtering queries in HyperFile

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers