4604 search results - page 345 / 921 » Concurrency in Synchronous Systems |
169
click to vote
JSAC
2007
15 years 6 months ago
2007
— Video broadcast and Mobile TV have received significant interests from both academia and industry recently. The emerging Mobile WiMAX (802.16e) is capable of providing high da...
243
click to vote
CAV
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
175
click to vote
DATE
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper investigates the sensitivity of real-time systems running applications under operating systems that are subject to soft-errors. We consider applications using different...
179
click to vote
DSOM
2006
Springer
15 years 10 months ago
2006
Springer
Recent work on self-stabilizing routing in publish/subscribe systems showed that it is feasible to automate reconfigurations in case of faults by enabling the system to recover fro...
167
Voted
ICARCV
2008
IEEE
16 years 1 months ago
2008
IEEE
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...