854 search results - page 74 / 171 » Timing coverification of concurrent embedded real-time syste... |
191
click to vote
REX
1991
15 years 9 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
147
click to vote
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
This study proposes a new bandwidth reservation strategy (Two Level Guarantee) in wireless environment based on the user mobility specification which is assumed to be given at cal...
179
click to vote
ECRTS
2003
IEEE
15 years 11 months ago
2003
IEEE
In the context of battery-powered real-time systems three constraints need to be addressed: energy, deadlines and task rewards. Many future real-time systems will count on differe...
180
click to vote
TPDS
2008
15 years 6 months ago
2008
Real-time image transmission is crucial to an emerging class of distributed embedded systems operating in open network environments. Examples include avionics mission replanning ov...
179
click to vote
MOMPES
2006
IEEE
16 years 8 days ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...