380 search results - page 11 / 76 » A Case Study on Partial Evaluation in Embedded Software Desi... |
ICSE
2011
IEEE-ACM
12 years 11 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
SOCO
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
SAMOS
2005
Springer
14 years 1 months ago
2005
Springer
Design space exploration plays an essential role in the system-level design of embedded systems. It is imperative therefore to have efficient and effective exploration tools in th...
ASPDAC
2007
ACM
13 years 11 months ago
2007
ACM
- Estimation tools are a key component of system-level methodologies, enabling a fast design space exploration. Estimation of software performance is essential in current software-...
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Dedicated operating systems for embedded systems are fast being phased out due to their use of manual optimization, which provides high performance and small footprint, but also r...