Sciweavers

136 search results - page 3 / 28
» Stochastic Modeling of Scaled Parallel Programs
Sort
View
ICALP
2009
Springer
14 years 5 months ago
Rate-Based Transition Systems for Stochastic Process Calculi
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
Rocco De Nicola, Diego Latella, Michele Loreti, Mi...
CORR
2010
Springer
119views Education» more  CORR 2010»
13 years 2 months ago
On Probabilistic Parallel Programs with Process Creation and Synchronisation
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a mo...
Stefan Kiefer, Dominik Wojtczak
IEEECIT
2010
IEEE
13 years 3 months ago
Scaling the iHMM: Parallelization versus Hadoop
—This paper compares parallel and distributed implementations of an iterative, Gibbs sampling, machine learning algorithm. Distributed implementations run under Hadoop on facilit...
Sebastien Bratieres, Jurgen Van Gael, Andreas Vlac...
EUROPAR
2009
Springer
13 years 12 months ago
MapReduce Programming Model for .NET-Based Cloud Computing
Recently many large scale computer systems are built in order to meet the high storage and processing demands of compute and data-intensive applications. MapReduce is one of the mo...
Chao Jin, Rajkumar Buyya
PPOPP
2005
ACM
13 years 11 months ago
Scaling model checking of dataraces using dynamic information
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause f...
Ohad Shacham, Mooly Sagiv, Assaf Schuster