376 search results - page 1 / 76 » Computation Platform for Automatic Analysis of Embedded Soft... |
ATVA
2005
Springer
13 years 10 months ago
2005
Springer
PRDC
2007
IEEE
13 years 11 months ago
2007
IEEE
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
HICSS
2007
IEEE
13 years 11 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
CODES
2010
IEEE
13 years 2 months ago
2010
IEEE
The last years have shown that there is no way to disregard the advantages provided by multiprocessor System-on-Chip (MPSoC) architectures in the embedded systems domain. Using mu...
RTSS
2007
IEEE
13 years 11 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...