396 search results - page 26 / 80 » Generalizing Parametricity Using Information-flow |
CODES
2006
IEEE
14 years 3 months ago
2006
IEEE
Process variability has a detrimental impact on the performance of memories and other system components, which can lead to parametric yield loss at the system level due to timing ...
CSFW
2000
IEEE
14 years 27 days ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
GLVLSI
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper approaches statistical optimization by examining gate delay variation models and optimization objectives. Most previous work on statistical optimization has focused exc...
ICCV
1999
IEEE
14 years 11 months ago
1999
IEEE
In this paper a new rectification method is proposed. The method is both simple and efficient and can deal with all possible camera motions. A minimal image size without any pixel...
ETRICS
2006
14 years 28 days ago
2006
Abstract. We consider cooperating intrusion detection agents that limit the cooperation information flow with a focus on privacy and confidentiality. Generalizing our previous work...