9359 search results - page 625 / 1872 » Generalization Algorithms for Second-Order Terms |
203
click to vote
DAC
2005
ACM
15 years 9 months ago
2005
ACM
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...
187
click to vote
DAC
2005
ACM
15 years 9 months ago
2005
ACM
This paper presents a new Green function-based approach for substrate parasitic extraction in substrates with inhomogeneous layers. This new formulation allows analysis of noise c...
181
click to vote
DOCENG
2005
ACM
15 years 9 months ago
2005
ACM
Information Retrieval systems are limited by the linguistic variation of language. The use of Natural Language Processing techniques to manage this problem has been studied for a ...
211
click to vote
DOLAP
2005
ACM
15 years 9 months ago
2005
ACM
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into...
175
click to vote
PODC
2010
ACM
15 years 9 months ago
2010
ACM
In this paper, we consider the problem of maximizing the throughput of Byzantine agreement, when communication links have finite capacity. Byzantine agreement is a classical probl...