4604 search results - page 321 / 921 » Concurrency in Synchronous Systems |
203
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
165
click to vote
CALCO
2005
Springer
16 years 11 days ago
2005
Springer
Simulations are a very natural way of relating concurrent systems, which are mathematically modeled by Kripke structures. The range of available notions of simulations makes it ver...
153
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Pipeline, Delta, and Black Hole are three simple patterns used in concurrent software design. We recently presented these and other patterns for parallelism at a nine-hour worksho...
163
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In terms of electronic collaboration, the value chains of the retail and consumer goods industries can be ranked among the most advanced. Recent studies have underlined the import...
195
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—We analyze the properties of a class of low complexity timing error detectors for the purpose of timing error tracking in orthogonal space-time block coding receivers. F...