20126 search results - page 371 / 4026 » Timed Transition Systems |
162
Voted
SEW
2003
IEEE
15 years 11 months ago
2003
IEEE
Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...
191
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
Developers of mission-critical distributed real-time and embedded (DRE) systems face a fundamental tension between (1) the performance gains achievable with hand-crafted optimizat...
173
Voted
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
This paper studies the exponential stabilization problem for discrete-time switched linear systems based on a control-Lyapunov function approach. A number of versions of converse c...
164
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
For economic reasons, a new trend in the development of distributed hard real-time systems is to rely on the use of CommercialO -The-Shelf cots hardware and operating systems. As...
159
Voted
RTSS
1998
IEEE
15 years 10 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....