196 search results - page 32 / 40 » Verification of timing Properties of VHDL |
POPL
2000
ACM
13 years 11 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
ISQED
2005
IEEE
14 years 1 months ago
2005
IEEE
Today's System-on-a-Chip (SoC) design methodology provides an efficient way to develop highly integrated systems on a single chip by utilizing pre-designed intellectual prope...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
While much basic research exists on the effects of various visual properties on visual search, the application of such research to real-world tasks is lacking. The purpose of this...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
DPHOTO
2010
13 years 9 months ago
2010
The high level context image analysis regards many fields as face recognition, smile detection, automatic red eye removal, iris recognition, fingerprint verification, etc. Techniq...