1624 search results - page 87 / 325 » Integrating Fault-Tolerant Techniques into the Design of Cri... |
170
click to vote
ISORC
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
145
click to vote
GCC
2009
Springer
15 years 4 months ago
2009
Springer
The design and development of a complex system as well as the simulation of its dynamic behavior are usually involved in multidisciplinary field knowledge. HLA-based collaborative ...
146
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
This work presents a novel dynamic bias control technique to verify the circuit performance of the lowpower rail-to-rail input/output buffer amplifier, which can be operating in s...
133
click to vote
ECCV
1990
Springer
16 years 8 months ago
1990
Springer
This paper describes techniques for dynamically modeling the 2-D appearance and 3-D geometry of a
scene by integrating information from a moving camera. These techniques are illus...
154
click to vote
DATE
2006
IEEE
16 years 11 days ago
2006
IEEE
Verification quality is a must for functional safety in electronic systems. In automotive, the verification flow is historically based on a layered approach, where each level (mod...