Sciweavers

6941 search results - page 511 / 1389
» Testing as a Certification Approach
Sort
View
DATE
2008
IEEE
103views Hardware» more  DATE 2008»
16 years 1 months ago
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli
ICC
2007
IEEE
111views Communications» more  ICC 2007»
16 years 1 months ago
Composite Frequency-Offset Estimator for Wireless Communications
— The paper deals with the problem of the carrier frequency-offset (CFO) estimation for wireless communications. Since the well-known maximum-likelihood (ML) CFO estimator is rat...
Zhuo Lu, Jiandong Li, Linjing Zhao, Yao Liu
KBSE
2007
IEEE
16 years 1 months ago
Extraction of bug localization benchmarks from history
Researchers have proposed a number of tools for automatic bug localization. Given a program and a description of the failure, such tools pinpoint a set of statements that are most...
Valentin Dallmeier, Thomas Zimmermann
ATAL
2005
Springer
16 years 15 days ago
Using decision-theoretic models to enhance agent system survivability
A survivable agent system depends on the incorporation of many recovery features. However, the optimal use of these features requires the ability to assess the actual state of the...
Anthony R. Cassandra, Marian H. Nodine, Shilpa Bon...
GW
2005
Springer
85views Biometrics» more  GW 2005»
16 years 15 days ago
Finding Motion Primitives in Human Body Gestures
Abstract. In the last decade speech processing has been applied in commercially available products. One of the key reasons for its success is the identification and use of an unde...
Lars Reng, Thomas B. Moeslund, Erik Granum