854 search results - page 12 / 171 » Timing coverification of concurrent embedded real-time syste... |
CSREAPSC
2006
14 years 11 months ago
2006
105
click to vote
PTS
2008
14 years 11 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
ECBS
2009
IEEE
15 years 4 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
RTSS
1992
IEEE
15 years 1 months ago
1992
IEEE
TKDE
2002
14 years 9 months ago
2002
