Sciweavers

1256 search results - page 29 / 252
» Modeling operator performance for error analysis
Sort
View
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
14 years 2 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
ECMDAFA
2006
Springer
107views Hardware» more  ECMDAFA 2006»
13 years 11 months ago
Mutation Analysis Testing for Model Transformations
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
Jean-Marie Mottu, Benoit Baudry, Yves Le Traon
ML
2008
ACM
13 years 7 months ago
A bias/variance decomposition for models using collective inference
Bias/variance analysis is a useful tool for investigating the performance of machine learning algorithms. Conventional analysis decomposes loss into errors due to aspects of the le...
Jennifer Neville, David Jensen
HPCC
2005
Springer
14 years 1 months ago
Trace-Based Parallel Performance Overhead Compensation
Abstract. Tracing parallel programs to observe their performance introduces intrusion as the result of trace measurement overhead. If post-mortem trace analysis does not compensate...
Felix Wolf, Allen D. Malony, Sameer Shende, Alan M...
TWC
2008
133views more  TWC 2008»
13 years 7 months ago
Dual-polarized wireless communications: from propagation models to system performance evaluation
In this paper, we address the potential benefits of dual-polarized arrays in multi-antenna wireless systems. After an extensive literature overview of experimental data, we present...
Claude Oestges, Bruno Clerckx, Maxime Guillaud, M&...