3889 search results - page 662 / 778 » The Use of Program Dependence Graphs in Software Engineering |
148
click to vote
VLSI
2010
Springer
14 years 10 months ago
2010
Springer
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
133
click to vote
EUROSYS
2011
ACM
14 years 7 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
154
click to vote
IUI
2012
ACM
13 years 11 months ago
2012
ACM
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
119
Voted
CC
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we extend past work on Linear Scan register allocation, and propose two Extended Linear Scan (ELS) algorithms that retain the compiletime efficiency of past Linear ...
161
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...