20126 search results - page 318 / 4026 » Timed Transition Systems |
177
click to vote
RTAS
2007
IEEE
15 years 11 months ago
2007
IEEE
Multiprocessor platforms have been widely adopted in both embedded and server systems. In addition to the performance improvement, multiprocessor systems could have the flexibili...
120
Voted
USENIX
2001
15 years 6 months ago
2001
We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-free and wait-free synchronization techniques and clearl...
145
click to vote
AUTOMATICA
2008
15 years 5 months ago
2008
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
150
click to vote
SCL
2008
15 years 4 months ago
2008
In this paper it is shown that, if a time-varying uncertain system is robustly completely detectable, then there exists an estimator for this system, i.e. the state vector of the ...
126
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...