180 search results - page 16 / 36 » New Point Addition Formulae for ECC Applications |
DATE
2008
IEEE
15 years 1 months ago
2008
IEEE
Many decision and optimization problems in Electronic Design Automation (EDA) can be solved with Boolean Satisfiability (SAT). Moreover, well-known extensions of SAT also find app...
ICTAI
1997
IEEE
15 years 3 months ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
DAC
2005
ACM
15 years 1 months ago
2005
ACM
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...
115
click to vote
DSP
2006
14 years 11 months ago
2006
In linear image restoration, the point spread function of the degrading system is assumed known even though this information is usually not available in real applications. As a re...
184
click to vote
ICDE
2005
IEEE
16 years 1 months ago
2005
IEEE
In this demonstration, we present a database over complex documents, which, in addition to a structured text content, also has update information, annotations, and embedded object...