2918 search results - page 201 / 584 » Design tools for reliability analysis |
147
click to vote
CODES
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
121
click to vote
WSC
2007
15 years 6 months ago
2007
Decision making in complex environments in the face of uncertain and missing information is a daunting task. We describe a modeling and simulation based approach to providing plan...
124
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a systematic and optimal design of hybrid cascode compensation method which is used in fully differential two-stage CMOS operational transconductance amplifier...
145
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...
139
click to vote
ASM
2010
ASM
15 years 6 months ago
2010
ASM
Abstract. Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored...