3547 search results - page 537 / 710 » Pseudo-Exhaustive Testing for Software |
154
click to vote
FPL
2005
Springer
16 years 3 days ago
2005
Springer
This article presents a power estimation tool integrated with an FPGA design flow. It is able to estimate total and individual-node average power consumption for combinational blo...
140
click to vote
HPCC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
162
click to vote
LCPC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
152
click to vote
PREMI
2005
Springer
16 years 2 days ago
2005
Springer
The configuration of a computational intelligence (CI) method is responsible for its intelligence (e.g. tolerance, flexibility) as well as its accuracy. In this paper, we investiga...
162
click to vote
WMPI
2004
ACM
16 years 2 hour ago
2004
ACM
User-controllable coherence revives the idea of cooperation between software and hardware in an attempt to bridge the gap between efficient small-scale shared memory machines and m...