378 search results - page 49 / 76 » Information Flow Analysis for VHDL |
FGR
1998
IEEE
14 years 29 days ago
1998
IEEE
Automated recognition of facial expression is an important addition to computer vision research because of its relevance to the study of psychological phenomena and the developmen...
DAC
1997
ACM
14 years 27 days ago
1997
ACM
A number of industry trends are shaping the requirements for IC and electronic equipment design. The density and complexity of circuit technologies have increased to a point where...
MICCAI
2005
Springer
14 years 9 months ago
2005
Springer
Many medical imaging applications require the computation of dense correspondence vector fields that match one surface with another. To avoid the need for a large set of manually-d...
PLDI
1990
ACM
14 years 22 days ago
1990
ACM
- This paper describes techniques for optimizing range checks performed to detect array bound violations. In addition to the elimination of range check:s, the optimizations discuss...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...