94 search results - page 3 / 19 » Synthesis of Real-Time Embedded Software by Timed Quasi-Stat... |
CODES
2001
IEEE
13 years 9 months ago
2001
IEEE
RTAS
1998
IEEE
13 years 10 months ago
1998
IEEE
In the past, environmental restrictions on size, weight, and power consumption have severely limited both the processing and storage capacity of embedded signal processing systems...
ISORC
2008
IEEE
14 years 4 days ago
2008
IEEE
Some emerging networked embedded real-time applications have relatively long reaction time magnitudes—e.g., milliseconds to minutes. These longer execution time magnitudes allow...
ECBS
2010
IEEE
14 years 19 days ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
CSREAESA
2006
13 years 7 months ago
2006
We present our joint view for efficient development of efficient and dependable ERTS (Embedded Real-Time Systems). This view is based on the three main viewpoints of (1) the softw...