2523 search results - page 58 / 505 » Correct Development of Embedded Systems |
CODES
2001
IEEE
14 years 19 days ago
2001
IEEE
The implementation of embedded networked appliances requires a mix of processor cores and HW accelerators on a single chip. When designing such complex and heterogeneous SoCs, the...
OSDI
2008
ACM
14 years 9 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
WSC
1997
13 years 10 months ago
1997
Virtual prototyping with 3D drawing programs provides a means of rapidly developing system concepts and analyzing them for form, fit, logistics, human factors integration, and gen...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
IJPP
2008
13 years 9 months ago
2008
We present an approach to the analysis and optimisation of heterogeneous multiprocessor embedded systems. The systems are heterogeneous not only in terms of hardware components, b...