352 search results - page 14 / 71 » Automated Quality Analysis of Component Software for Embedde... |
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
14 years 1 months ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
SPLC
2007
13 years 9 months ago
2007
Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and implementing this kind of systems is a difficult opera...
TCAD
2008
13 years 7 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
CBSE
2005
Springer
13 years 9 months ago
2005
Springer
— Component-based software engineering (CBSE) is quickly becoming a mainstream approach to software development. At the same time, there is a massive shift from desktop applicati...
ASPDAC
2009
ACM
14 years 2 months ago
2009
ACM
Abstract— This paper presents synthesis of Hardware Dependent Software (HdS) for multicore and many-core designs using Embedded System Environment (ESE). ESE is a tool set, devel...