3404 search results - page 405 / 681 » C Programming Tutorial |
135
click to vote
EDCC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
118
Voted
HVC
2005
Springer
15 years 8 months ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
125
Voted
ICS
2005
Tsinghua U.
15 years 8 months ago
2005
Tsinghua U.
BlueGene/L is currently the world’s fastest supercomputer. It consists of a large number of low power dual-processor compute nodes interconnected by high speed torus and collect...
143
Voted
SAS
2005
Springer
15 years 8 months ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
120
click to vote
STACS
2005
Springer
15 years 8 months ago
2005
Springer
The subset sum problem (SSP) (given n numbers and a target bound B, find a subset of the numbers summing to B), is one of the classical NP-hard problems. The hardness of SSP vari...