5090 search results - page 605 / 1018 » Constructing Strategies for Programming |
173
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
It is often impossible to obtain a one-size-fits-all solution for high performance algorithms when considering different choices for data distributions, parallelism, transformati...
191
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
179
click to vote
KBSE
2006
IEEE
16 years 26 days ago
2006
IEEE
Aspect-Oriented Programming (AOP) has been proposed in literature to overcome modularization shortcomings such as the tyranny of the dominant decomposition. However, the new langu...
177
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
180
click to vote
ASPLOS
2004
ACM
16 years 8 days ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...