4693 search results - page 736 / 939 » Verifying Hybrid Systems |
169
click to vote
EH
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents experimental results of fast intrinsic evolutionary design and evolutionary fault recovery of a 4-bit Digital to Analog Converter (DAC) using the JPL stand-alo...
242
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
154
click to vote
PADS
2003
ACM
15 years 11 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...
166
click to vote
AVBPA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A biometric authentication system operates by acquiring biometric data from a user and comparing it against the template data stored in a database in order to identify a ...
123
Voted
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Fault tolerance (FT) has become a major concern in computing systems. Instruction duplication has been proposed to verify application execution at run time. Two techniques, inst...