Sciweavers

1877 search results - page 330 / 376
» A new method for bottleneck detection
Sort
View
ISSTA
1998
ACM
15 years 10 months ago
Automatic Test Data Generation Using Constraint Solving Techniques
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
Arnaud Gotlieb, Bernard Botella, Michel Rueher
ISSTA
1993
ACM
15 years 10 months ago
Faults on Its Sleeve: Amplifying Software Reliability Testing
Most of the effort that goes into improving the quality of software paradoxically does not lead to quantitative, measurable quality. Software developers and quality-assurance orga...
Richard G. Hamlet, Jeffrey M. Voas
AIIA
2009
Springer
15 years 10 months ago
Local Kernel for Brains Classification in Schizophrenia
Abstract. In this paper a novel framework for brain classification is proposed in the context of mental health research. A learning by example method is introduced by combining loc...
Umberto Castellani, E. Rossato, Vittorio Murino, M...
3DPVT
2004
IEEE
177views Visualization» more  3DPVT 2004»
15 years 9 months ago
Seeing into the Past: Creating a 3D Modeling Pipeline for Archaeological Visualization
Archaeology is a destructive process in which accurate and detailed recording of a site is imperative. As a site is exposed, documentation is required in order to recreate and und...
Peter K. Allen, Steven Feiner, Alejandro Troccoli,...
ATS
2004
IEEE
116views Hardware» more  ATS 2004»
15 years 9 months ago
Testing for Missing-Gate Faults in Reversible Circuits
Logical reversibility occurs in low-power applications and is an essential feature of quantum circuits. Of special interest are reversible circuits constructed from a class of rev...
John P. Hayes, Ilia Polian, Bernd Becker