892 search results - page 52 / 179 » Action respecting embedding |
CODES
2010
IEEE
13 years 7 months ago
2010
IEEE
With the continuous scaling of semiconductor technology, the life-time of circuit is decreasing so that processor failure becomes an important issue in MPSoC design. A software so...
AMAST
2004
Springer
14 years 3 months ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
KBSE
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents an application framework in which declarative specifications of debugging actions are translated into execution monitors that can automatically detect bugs. Th...
DSRT
2008
IEEE
14 years 4 months ago
2008
IEEE
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
FOSSACS
2011
Springer
13 years 1 months ago
2011
Springer
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...