3742 search results - page 15 / 749 » On the Use of Formal Techniques for Validation |
100
click to vote
DSD
2009
IEEE
15 years 6 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...
ICIP
2009
IEEE
16 years 22 days ago
2009
IEEE
In this paper, we aim to provide the further evaluation on the recently proposed visualization technique known as Virtual Fly-Over for virtual colonoscopy by using clinical CT col...
MIDDLEWARE
2004
Springer
15 years 5 months ago
2004
Springer
Traditionally, adaptability in communication frameworks has been restricted to predefined choices without taking into consideration tradeoffs between them and the application req...
73
Voted
USAB
2007
15 years 26 days ago
2007
ACJ
2004
14 years 11 months ago
2004