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

15 years 5 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

15 years 5 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

15 years 5 months ago

Download www.unicore.eu

Guido Scherp, Jan Ploski, Wilhelm Hasselbring

claim paper

Read More »

101

click to vote

CONCUR
1995
Springer

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

Delayed choice for process algebra with abstraction

15 years 5 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

claim paper

Read More »

127

click to vote

ICDCS
1991
IEEE

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

Distributed processing of filtering queries in HyperFile

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers