8398 search results - page 1358 / 1680 » Optimal Software Testing |
202
click to vote
PLDI
2004
ACM
16 years 20 days ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
254
click to vote
PLDI
2003
ACM
16 years 14 days ago
2003
ACM
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...
197
click to vote
PPOPP
2003
ACM
16 years 14 days ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...
185
click to vote
DEXAW
1998
IEEE
15 years 11 months ago
1998
IEEE
A mechanistic view of software component assembly implies exact matching and fitting of the particular components. We argue that components for large-scale software construction s...
183
click to vote
TIC
1998
Springer
15 years 11 months ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...