5547 search results - page 242 / 1110 » Software Variability Management |
167
click to vote
VSTTE
2005
Springer
16 years 19 hour ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
185
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
170
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
This paper presents a novel technique, called input space adaptive software synthesis, for the energy and performance optimization of embedded software. The proposed technique is ...
166
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
189
click to vote
SIGSOFT
2005
ACM
16 years 3 days ago
2005
ACM
Programs usually follow many implicit programming rules, most of which are too tedious to be documented by programmers. When these rules are violated by programmers who are unawar...