Sciweavers

1812 search results - page 118 / 363
» Test Early, Test Often
Sort
View
118
Voted
TOPLAS
2008
78views more  TOPLAS 2008»
15 years 3 months ago
The pitfalls of verifying floating-point computations
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
David Monniaux
RE
2008
Springer
15 years 3 months ago
"Fairness Analysis" in Requirements Assignments
Requirements engineering for multiple customers, each of whom have competing and often conflicting priorities, raises issues of negotiation, mediation and conflict resolution. Thi...
Anthony Finkelstein, Mark Harman, S. Afshin Mansou...
ICASSP
2010
IEEE
14 years 10 months ago
Robust frequency-based Audio Fingerprinting
Pure frequency-based audio fingerprint systems have the capacity of handling very short fingerprints while being highly robust to perturbations such as additive noise or compressi...
Elsa Dupraz, Gaël Richard
BIRTHDAY
2012
Springer
13 years 11 months ago
The Logical Execution Time Paradigm
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
Christoph M. Kirsch, Ana Sokolova
127
Voted
ICML
2006
IEEE
16 years 4 months ago
A continuation method for semi-supervised SVMs
Semi-Supervised Support Vector Machines (S3 VMs) are an appealing method for using unlabeled data in classification: their objective function favors decision boundaries which do n...
Olivier Chapelle, Mingmin Chi, Alexander Zien