3218 search results - page 46 / 644 » Timed Extensions for SDL |
105
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, little work has been done for the cases where the software com...
117
Voted
FOSSACS
2005
Springer
15 years 8 months ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
119
click to vote
ICCAD
2007
IEEE
15 years 11 months ago
2007
IEEE
While the increasing need for addressing process variability in sub-90nm VLSI technologies has sparkled a large body of statistical timing and optimization research, the realizati...
141
Voted
WORDS
2002
IEEE
15 years 7 months ago
2002
IEEE
Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed b...
146
Voted
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, ...