Sciweavers

631 search results - page 13 / 127
» An experimental evaluation of continuous testing during deve...
Sort
View
FAC
2006
122views more  FAC 2006»
13 years 7 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
SAC
2009
ACM
14 years 2 months ago
An empirical study of incorporating cost into test suite reduction and prioritization
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
Adam M. Smith, Gregory M. Kapfhammer
KDD
2009
ACM
224views Data Mining» more  KDD 2009»
14 years 9 days ago
Issues in evaluation of stream learning algorithms
Learning from data streams is a research area of increasing importance. Nowadays, several stream learning algorithms have been developed. Most of them learn decision models that c...
João Gama, Raquel Sebastião, Pedro P...
ICRA
2002
IEEE
101views Robotics» more  ICRA 2002»
14 years 20 days ago
Continuous Path Controller of Slave Manipulator in Remote Ultrasound Diagnostic System
A master-slave type remote ultrasound diagnostic system was developed. The controller has impedance control capability for the master and slave manipulators' positions. And it...
Norihiro Koizumi, Shin'ichi Warisawa, Mamoru Mitsu...
ICCD
2003
IEEE
143views Hardware» more  ICCD 2003»
14 years 1 months ago
Aggressive Test Power Reduction Through Test Stimuli Transformation
Excessive switching activity during shift cycles in scan-based cores imposes considerable test power challenges. To ensure rapid and reliable test of SOCs, we propose a scan chain...
Ozgur Sinanoglu, Alex Orailoglu