1980 search results - page 96 / 396 » Compositional Model Checking of Real Time Systems |
101
click to vote
ECBS
2002
IEEE
15 years 6 months ago
2002
IEEE
Design and implementation of motion control applications includes the transition from control design to real-time system implementation. To make this transition smooth, the specif...
118
click to vote
RTSS
2002
IEEE
15 years 6 months ago
2002
IEEE
We consider a resource synthesis technique for realtime systems where the energy budget is limited and the performance of the system depends on how resources and energy are used. ...
126
click to vote
RTAS
2007
IEEE
15 years 8 months ago
2007
IEEE
It is challenging to manage the performance of real-time databases (RTDBs) that are often used in data-intensive real-time applications such as agile manufacturing and target trac...
136
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Some classes of real-time systems function in environments which cannot be modeled with static approaches. In such environments, the arrival rates of events which drive transient ...
147
click to vote
ECRTS
2010
IEEE
15 years 2 months ago
2010
IEEE
Energy conservation is an important issue in the design of embedded systems. Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two widely used techniques for sav...