1685 search results - page 179 / 337 » Commonality and Variability in Software Engineering |
161
click to vote
CODES
2005
IEEE
16 years 1 days ago
2005
IEEE
Code density is an important issue in memory constrained systems. Some RISC processor, e.g. the THUMB extension in the ARM processor, supports aggressive code size reduction even ...
186
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Multi-agent Systems (MASs) development and Software Product Lines (SPLs) are two consolidated software engineering techniques. Recent research work explores the integration betwee...
196
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
211
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
167
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...