3387 search results - page 145 / 678 » Model-Checking for Real-Time Systems |
177
click to vote
CDVE
2005
Springer
16 years 8 days ago
2005
Springer
A constraint expresses a relationship among one or more variables. Constraints are very useful in the development of collaborative applications, such as collaborative CAD and CASE ...
186
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Thermal management becomes a prominent issue in system design for both server systems and embedded systems. A system could fail if the peak temperature exceeds its thermal constra...
187
click to vote
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
Control systems are typically designed assuming an ideal behavior of the computing infrastructure where controllers execute. In practice, however, in highly loaded computing syste...