19 search results - page 3 / 4 » A Systematic Approach to Automatically Generate Multiple Sem... |
122
click to vote
CISIS
2010
IEEE
15 years 5 months ago
2010
IEEE
Offload C++ is an extended version of the C++ language, together with a compiler and runtime system, for automatically offloading general-purpose C++ code to run on the Synergistic...
117
click to vote
ISSRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
156
Voted
SIGSOFT
2010
ACM
15 years 8 days ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
91
Voted
SCAM
2006
IEEE
15 years 8 months ago
2006
IEEE
An approach for factoring source-code differences is presented. A single large difference between two versions of a program is decomposed into factors (i.e., smaller changes). The...
157
click to vote
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....