1980 search results - page 79 / 396 » Compositional Model Checking of Real Time Systems |
RTAS
2006
IEEE
15 years 5 months ago
2006
IEEE
RTAS
2005
IEEE
15 years 5 months ago
2005
IEEE
126
click to vote
RTSS
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— Dynamic voltage scaling (DVS) is a promising technique for battery-powered systems to conserve energy consumption. Most existing DVS algorithms assume information about...
123
click to vote
SDL
2007
15 years 1 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
108
click to vote
ECRTS
2008
IEEE
15 years 6 months ago
2008
IEEE
The commonly used task models for real-time systems focus on execution windows expressing earliest start times and deadlines of tasks for feasibility. Within these windows, execut...