655 search results - page 84 / 131 » Coinduction in Concurrent Timed Systems |
SAC
2009
ACM
15 years 6 months ago
2009
ACM
In this paper, we consider minimizing the system-level energy consumption through dynamic voltage scaling for embedded devices, while a) allowing concurrent access to shared objec...
ACSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
It is a well known problem that the attack recovery of a self-healing system rolls back not only malicious transactions, but also legitimate transactions that are dependent on the...
125
click to vote
LICS
1998
IEEE
15 years 3 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
100
click to vote
SAC
2010
ACM
15 years 1 months ago
2010
ACM
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...
118
click to vote
ECRTS
2010
IEEE
15 years 29 days ago
2010
IEEE
A full exploitation of the computational power available in a multi-core platform requires the software to be specified in terms of parallel execution flows. At the same time, mode...