Sciweavers

1963 search results - page 81 / 393
» How is aliasing used in systems software
Sort
View
KBSE
2008
IEEE
14 years 4 months ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel
CSMR
2008
IEEE
14 years 4 months ago
A Tool for Optimizing the Build Performance of Large Software Code Bases
We present Build Analyzer, a tool that helps developers optimize the build performance of huge systems written in C. Due to complex C header dependencies, even small code changes ...
Alexandru Telea, Lucian Voinea
OMER
2001
13 years 11 months ago
Model-Based Design of ECU Software - A Component Based Approach
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
Ulrich Freund, Alexander Burst
EMSOFT
2005
Springer
14 years 3 months ago
SHIM: a deterministic model for heterogeneous embedded systems
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
Stephen A. Edwards, Olivier Tardieu
HICSS
2009
IEEE
126views Biometrics» more  HICSS 2009»
14 years 5 months ago
The Commit Size Distribution of Open Source Software
With the growing economic importance of open source, we need to improve our understanding of how open source software development processes work. The analysis of code contribution...
Oliver Arafat, Dirk Riehle