139 search results - page 13 / 28 » Totally Verified Systems: Linking Verified Software to Verif... |
AOSD
2009
ACM
15 years 4 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
73
Voted
ESOP
2010
Springer
15 years 6 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
CACM
2010
14 years 6 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
60
Voted
ROMAN
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract— This paper describes a technical education program for high school students that comprises an image information processing system, stereo vision technology and control ...