Sciweavers

122 search results - page 18 / 25
» Process variability-aware transient fault modeling and analy...
Sort
View
ITC
1998
IEEE
174views Hardware» more  ITC 1998»
15 years 1 months ago
High volume microprocessor test escapes, an analysis of defects our tests are missing
This paper explores defects found in a high volume microprocessor when shipping at a low defect level. A brief description of the manufacturing flow along with definition of DPM i...
Wayne M. Needham, Cheryl Prunty, Yeoh Eng Hong
AUTOMATICA
2008
107views more  AUTOMATICA 2008»
14 years 9 months ago
Kalman filters in non-uniformly sampled multirate systems: For FDI and beyond
This paper consists of two parts. The first part is the development of a datadriven Kalman filter for a non-uniformly sampled multirate (NUSM) system, including identification of ...
Weihua Li, Sirish L. Shah, Deyun Xiao
CJ
2004
141views more  CJ 2004»
14 years 9 months ago
Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
Andrea Bondavalli, Roberto Filippini
SCP
2000
119views more  SCP 2000»
14 years 9 months ago
Automated compositional Markov chain generation for a plain-old telephone system
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
Holger Hermanns, Joost-Pieter Katoen
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 3 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss