Sciweavers

5578 search results - page 272 / 1116
» Base Class Injection
Sort
View
MTDT
2000
IEEE
137views Hardware» more  MTDT 2000»
15 years 11 months ago
Diagnostic Testing of Embedded Memories Based on Output Tracing
A new approach to diagnostic testing of embedded memories is presented which enables the design of tests that provide complete detection and distinguishing of all faults in a give...
Dirk Niggemeyer, Elizabeth M. Rudnick, Michael Red...
IPPS
1999
IEEE
15 years 11 months ago
The Case for Prediction-Based Best-Effort Real-Time Systems
Abstract. We propose a prediction-based best-effort real-time service to support distributed, interactive applications in shared, unreserved computing environments. These applicati...
Peter A. Dinda, Loukas F. Kallivokas, Bruce Loweka...
TPHOL
1998
IEEE
15 years 11 months ago
Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
Wolfgang Naraschewski, Markus Wenzel
CEC
2007
IEEE
15 years 10 months ago
Psim: a simulator for biomolecular dynamics based on P systems
Metabolic P systems, shortly MP systems, are a special class of P systems, introduced for expressing biological metabolism. Their dynamics is computed by metabolic algorithms which...
Luca Bianco, Vincenzo Manca, Luca Marchetti, Miche...
COLT
2007
Springer
15 years 10 months ago
Resampling-Based Confidence Regions and Multiple Tests for a Correlated Random Vector
We study generalized bootstrapped confidence regions for the mean of a random vector whose coordinates have an unknown dependence structure, with a non-asymptotic control of the co...
Sylvain Arlot, Gilles Blanchard, Étienne Ro...