4330 search results - page 599 / 866 » Analyzing security architectures |
151
click to vote
DAC
2000
ACM
16 years 8 months ago
2000
ACM
A dynamic noise model is developed and applied to analyze the noise immunity of precharge-evaluate circuits. Considering that the primary source of noise-injection in the circuit ...
176
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
In this paper, we present a method for analyzing the leakage current, and hence the leakage power, of a circuit under process parameter variations that can include spatial correla...
208
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
158
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
In recent years, search engine research has grown rapidly in areas such as algorithms, strategies and architecture, increasing both effectiveness and quality of results. However, ...
207
click to vote
WWW
2001
ACM
16 years 8 months ago
2001
ACM
WebQuilt is a web logging and visualization system that helps web design teams run usability tests (both local and remote) and analyze the collected data. Logging is done through ...