17 search results - page 1 / 4 » State space abstraction for parameterized self-stabilizing e... |
EMSOFT
2008
Springer
13 years 7 months ago
2008
Springer
SIAMCOMP
2002
13 years 4 months ago
2002
abstract Alain Mayer Yoram Ofeky Rafail Ostrovskyz Moti Yungx We investigate the problem of self-stabilizing round-robin token management scheme on an anonymous bidirectional ring...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
A self-stabilizing algorithm, regardless of the initial system state, converges in finite time to a set of states that satisfy a legitimacy predicate without the need for explici...
EH
2004
IEEE
13 years 9 months ago
2004
IEEE
The use of Application Specific Instruction-set Processors (ASIP) in embedded systems is a solution to the problem of increasing complexity in the functions these systems have to ...
EMSOFT
2009
Springer
13 years 11 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...