1784 search results - page 232 / 357 » Formal Models for Embedded System Design |
ASPDAC
2009
ACM
15 years 4 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...
PATMOS
2007
Springer
15 years 4 months ago
2007
Springer
Energy efficiency is a top requirement in embedded system design. Understanding the complex issue of software power consumption in early design phases is of extreme importance to m...
DAC
2005
ACM
15 years 11 months ago
2005
ACM
Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...
CERA
2002
14 years 9 months ago
2002
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
61
Voted
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...