Sciweavers

77 search results - page 5 / 16
» On Sequential and 1-Deterministic P Systems
Sort
View
SAS
2012
Springer
208views Formal Methods» more  SAS 2012»
12 years 12 months ago
Finding Non-terminating Executions in Distributed Asynchronous Programs
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
Michael Emmi, Akash Lal
CORR
2010
Springer
119views Education» more  CORR 2010»
14 years 6 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
FSTTCS
2005
Springer
15 years 3 months ago
The MSO Theory of Connectedly Communicating Processes
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
15 years 2 months ago
Recursion-driven parallel code generation for multi-core platforms
—We present Huckleberry, a tool for automatically generating parallel implementations for multi-core platforms from sequential recursive divide-and-conquer programs. The recursiv...
Rebecca L. Collins, Bharadwaj Vellore, Luca P. Car...
IOR
2002
88views more  IOR 2002»
14 years 9 months ago
An Adaptive Bayesian Replacement Policy with Minimal Repair
In this study, an adaptive Bayesian decision model is developed to determine the optimal replacement age for the systems maintained according to a general age replacement policy. I...
Savas Dayanik, Ülkü Gürler