Sciweavers

3031 search results - page 457 / 607
» Model Driven Testing Based on Test History
Sort
View
92
Voted
ASPLOS
2010
ACM
15 years 7 months ago
Specifying and dynamically verifying address translation-aware memory consistency
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. So...
83
Voted
ISSTA
2006
ACM
15 years 6 months ago
Producing scheduling that causes concurrent programs to fail
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel...
111
Voted
ISMIR
2004
Springer
117views Music» more  ISMIR 2004»
15 years 6 months ago
Instrument identification in solo and ensemble music using Independent Subspace Analysis
We investigate the use of Independent Subspace Analysis (ISA) for instrument identification in musical recordings. We represent short-term log-power spectra of possibly polyphoni...
Emmanuel Vincent, Xavier Rodet
78
Voted
ICRA
2000
IEEE
78views Robotics» more  ICRA 2000»
15 years 5 months ago
Hybrid System Design for Singularityless Task Level Robot Controllers
This paper presents a hybrid system approach in the design of a singularityless task level controller. To achieve a singularityless motion control in the neighborhood of singulari...
Jindong Tan, Ning Xi
98
Voted
CSDA
2006
96views more  CSDA 2006»
15 years 26 days ago
Analysis of new variable selection methods for discriminant analysis
Several methods to select variables that are subsequently used in discriminant analysis are proposed and analysed. The aim is to find from among a set of m variables a smaller sub...
Joaquín A. Pacheco, Silvia Casado, Laura N&...