1685 search results - page 208 / 337 » Commonality and Variability in Software Engineering |
146
Voted
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
Most research to date on energy minimization in DSP processors has focuses on hardware solution. This paper examines the software-based factors affecting performance and energy co...
135
Voted
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
141
Voted
ECLIPSE
2007
ACM
15 years 5 months ago
2007
ACM
Programmers often copy and paste code so that they can reuse the existing code to complete a similar task. Many times, modifications to the newly pasted code include renaming all ...
122
Voted
ISSRE
2007
IEEE
15 years 5 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
126
Voted
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
We study the propositional satisfiability problem (SAT) on classes of CNF formulas (formulas in Conjunctive Normal Form) that obey certain structural restrictions in terms of thei...