8874 search results - page 183 / 1775 » A New Implementation of Automath |
155
click to vote
ICCD
2003
IEEE
16 years 1 months ago
2003
IEEE
This paper introduces a new method for two-level logic minimization. Unlike previous approaches, the new method uses a SAT solver as an underlying engine. While the overall minimi...
165
click to vote
DASIP
2010
14 years 11 months ago
2010
Nowadays, the design flow of complex signal processing embedded systems starts with a specification of the application by means of a large and sequential program (usually in C/C++...
118
click to vote
SAMOS
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents an overview of trends in low power handset SDR implementations. With the market for SDR-enabled handsets expected to grow to 200M units by 2014, the barriers to...
139
click to vote
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
In many applications a software implementation of ECC (Elliptic Curve Cryptography) might be inappropriate due to performance requirements, therefore hardware implementations are ...
144
click to vote
ENTCS
2011
14 years 11 months ago
2011
SUBSEXPL is a system originally developed to visualise reductions, simpliļ¬cations and normalisations in three important calculi of explicit substitutions and has been applied to...