9359 search results - page 894 / 1872 » Generalization Algorithms for Second-Order Terms |
231
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
202
click to vote
DAC
2007
ACM
15 years 11 months ago
2007
ACM
While cryptographic algorithms are usually strong against mathematical attacks, their practical implementation, both in software and in hardware, opens the door to side-channel at...
231
click to vote
DOCENG
2007
ACM
15 years 11 months ago
2007
ACM
Document Object Modeling (DOM) is widely used approach for retrieving data from an XML document. If the size of the XML document is very large, however, using the DOM approach for...
178
click to vote
DAC
2010
ACM
15 years 11 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
204
click to vote
DAC
2010
ACM
15 years 11 months ago
2010
ACM
Clock skew optimization continues to be an important concern in circuit designs. To overcome the influence caused by PVT variations, the automatic skew synchronization scheme can ...