490 search results - page 66 / 98 » Accuracy of Techniques for the Logical Analysis of Data |
CHES
2006
Springer
14 years 2 months ago
2006
Springer
This paper describes high-resolution waveform matching based on a Phase-Only Correlation (POC) technique and its application for a side-channel attack. Such attacks, such as Simple...
POPL
2010
ACM
14 years 8 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
JMLR
2010
13 years 5 months ago
2010
An exceedingly large number of scientific and engineering fields are confronted with the need for computer simulations to study complex, real world phenomena or solve challenging ...
CPAIOR
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
BMCBI
2010
13 years 11 months ago
2010
Background: Protein structure comparison is a fundamental task in structural biology. While the number of known protein structures has grown rapidly over the last decade, searchin...