8398 search results - page 495 / 1680 » Optimal Software Testing |
271
click to vote
HPCA
2002
IEEE
16 years 8 months ago
2002
IEEE
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...
235
click to vote
TVLSI
2008
15 years 7 months ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
187
click to vote
SIGADA
2005
Springer
16 years 1 months ago
2005
Springer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...
180
click to vote
PEPM
2004
ACM
16 years 29 days ago
2004
ACM
We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to ident...
205
click to vote
CC
2001
Springer
16 years 4 days ago
2001
Springer
Abstract. This paper presents a framework for supporting the optimization of Java programs using attributes in Java class files. We show how class file attributes may be used to ...