10159 search results - page 147 / 2032 » System Design Validation Using Formal Models |
125
Voted
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
119
Voted
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
ICC
2009
IEEE
15 years 9 months ago
2009
IEEE
—Video-on-Demand (VoD) services have attracted a lot of attentions in recent years. Measurement studies show that VCR (Video Cassette Recorder) operations, such as pause, rewind,...
120
click to vote
DSD
2009
IEEE
15 years 9 months ago
2009
IEEE
Feature sizes in VLSI circuits are steadily shrinking. This results in increasing susceptibility to soft errors, e.g. due to environmental radiation. Precautions against soft error...
119
click to vote
FMSD
2006
15 years 2 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...