4520 search results - page 71 / 904 » Algebraic Techniques for Timed Systems |
147
click to vote
RTSS
1999
IEEE
15 years 6 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...
134
click to vote
RTSS
1995
IEEE
15 years 5 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...
135
Voted
TWC
2008
15 years 1 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...
108
click to vote
ICCAD
2006
IEEE
15 years 10 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...
129
click to vote
LICS
1990
IEEE
15 years 6 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...