Sciweavers

1672 search results - page 231 / 335
» On the Development of Software Product-Family Components
Sort
View
ICSE
2007
IEEE-ACM
16 years 6 months ago
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
Patrice Chalin
FPL
2007
Springer
190views Hardware» more  FPL 2007»
16 years 19 days ago
The ANDRES Project: Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems
Today’s heterogeneous embedded systems combine components from different domains, such as software, analogue hardware and digital hardware. The design and implementation of thes...
Andreas Herrholz, Frank Oppenheimer, Philipp A. Ha...
EUROMICRO
2005
IEEE
16 years 2 days ago
QoS-aware Mobile Middleware for Video Streaming
State-of-the-art middleware and component technologies lack support for Quality of Service (QoS) management. Application developers, therefore, integrate QoS mechanisms into the a...
Sten Lundesgaard Amundsen, Ketil Lund, Carsten Gri...
OOPSLA
2005
Springer
15 years 12 months ago
Using refactorings to automatically update component-based applications
Frameworks and libraries change their APIs during evolution. Migrating an application to the new API is tedious and disrupts the development process. Although some tools and techn...
Danny Dig
EMSOFT
2004
Springer
15 years 12 months ago
Model based estimation and verification of mobile device performance
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
Gopalakrishna Raghavan, Ari Salomaki, Raimondas Le...