4520 search results - page 71 / 904 » Algebraic Techniques for Timed Systems |
203
click to vote
RTSS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we present improved techniques for the schedulability analysis of tasks with precedence relations in multiprocessor and distributed systems, scheduled under a preemp...
185
click to vote
RTSS
1995
IEEE
15 years 9 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
189
click to vote
TWC
2008
15 years 5 months ago
2008
In this paper we study the performance of Spectrally-Encoded Spread-Time (SE/ST) technique when applied to ultrawideband (UWB) signals in the context of wireless code-division mult...
159
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Statistical Static Timing Analysis has received wide attention recently and emerged as a viable technique for manufacturability analysis. To be useful, however, it is important th...
172
click to vote
LICS
1990
IEEE
15 years 10 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...