2523 search results - page 129 / 505 » Correct Development of Embedded Systems |
SAC
2006
ACM
14 years 9 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
TIFS
2008
14 years 9 months ago
2008
Today, mass-scale electronic content distribution systems embed forensic tracking watermarks primarily at the distribution server. For limiting the bandwidth usage and server compl...
129
click to vote
FAABS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
ICCAD
1994
IEEE
15 years 2 months ago
1994
IEEE
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...