8190 search results - page 213 / 1638 » From Timed to Hybrid Systems |
208
Voted
RTSS
1992
IEEE
15 years 10 months ago
1992
IEEE
The problem of scheduling a set of sporadic tasks that share a set of serially reusable, single unit software resources on a single processor is considered. The correctness condit...
169
Voted
DAGSTUHL
2001
15 years 7 months ago
2001
In this paper we discuss our work on plan management in the Autominder cognitive orthotic system. Autominder is being designed as part of an initiative on the development of roboti...
131
Voted
VTC
2008
IEEE
16 years 15 days ago
2008
IEEE
— This paper presents a novel analysis on the decoding convergence of Time Hopping (TH) and Direct Sequence (DS) Code-Division Multiple-Access (CDMA) Ultrawide Bandwidth (UWB) sy...
147
Voted
ICSE
2001
IEEE-ACM
15 years 10 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
175
click to vote
HASE
1999
IEEE
15 years 10 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...