Sciweavers

4299 search results - page 341 / 860
» Concurrent Test Generation
Sort
View
CMMR
2005
Springer
138views Music» more  CMMR 2005»
15 years 6 months ago
Music Analysis and Modeling Through Petri Nets
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...
Adriano Baratè, Goffredo Haus, Luca A. Ludo...
PLDI
2010
ACM
15 years 10 months ago
Line-up: a complete and automatic linearizability checker
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
Sebastian Burckhardt, Chris Dern, Madanlal Musuvat...
DATE
2009
IEEE
138views Hardware» more  DATE 2009»
15 years 11 months ago
A novel self-healing methodology for RF Amplifier circuits based on oscillation principles
— This paper proposes a novel self-healing methodology for embedded RF Amplifiers (LNAs) in RF sub-systems. The proposed methodology is based on oscillation principles in which t...
Abhilash Goyal, Madhavan Swaminathan, Abhijit Chat...
ATS
2005
IEEE
191views Hardware» more  ATS 2005»
15 years 10 months ago
Low Transition LFSR for BIST-Based Applications
Abstract—This paper presents a low transition test pattern generator, called LT-LFSR, to reduce average and peak power of a circuit during test by reducing the transitions within...
Mohammad Tehranipoor, Mehrdad Nourani, Nisar Ahmed
LWA
2004
15 years 6 months ago
Modeling Rule Precision
This paper reports first results of an empirical study of the precision of classification rules on an independent test set. We generated a large number of rules using a general co...
Johannes Fürnkranz