2020 search results - page 225 / 404 » Speeding up Slicing |
ICST
2009
IEEE
14 years 5 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
IOLTS
2009
IEEE
14 years 5 months ago
2009
IEEE
—Robust circuit design has become a major concern for nanoscale technologies. As a consequence, for design validation, not only the functionality of a circuit has to be considere...
IPPS
2009
IEEE
14 years 5 months ago
2009
IEEE
Recent accelerators such as GPUs achieve better cost-performance and watt-performance ratio, while the range of their application is more limited than general CPUs. Thus heterogen...
IPPS
2009
IEEE
14 years 5 months ago
2009
IEEE
The increasing demand for computational cycles is being met by the use of multi-core processors. Having large number of cores per node necessitates multi-core aware designs to ext...
IPPS
2009
IEEE
14 years 5 months ago
2009
IEEE
The Cell is a heterogeneous multicore processor that has attracted much attention in the HPC community. The bulk of the computational workload on the Cell processor is carried by ...