Sciweavers

2076 search results - page 62 / 416
» Functional logic overloading
Sort
View
ICCAD
2007
IEEE
102views Hardware» more  ICCAD 2007»
14 years 5 months ago
Scalable exploration of functional dependency by interpolation and incremental SAT solving
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang H...
ACL
1993
13 years 10 months ago
On the Decidability of Functional Uncertainty
We show that feature logic extended by functional uncertainty is decidable, even if one admits cyclic descriptions. We present an algorithm, which solves feature descriptions cont...
Rolf Backofen
DSD
2010
IEEE
126views Hardware» more  DSD 2010»
13 years 9 months ago
Low Power FPGA Implementations of 256-bit Luffa Hash Function
Low power techniques in a FPGA implementation of the hash function called Luffa are presented in this paper. This hash function is under consideration for adoption as standard. Tw...
Paris Kitsos, Nicolas Sklavos, Athanassios N. Skod...
AO
2006
91views more  AO 2006»
13 years 8 months ago
Towards a standard taxonomy of artifact functions
: The aim of this paper is to provide a logically accurate and technologically sound taxonomy of artifact functions. To this end, I review one of the recent proposals of such taxon...
Pawel Garbacz
SAINT
2005
IEEE
14 years 2 months ago
A Protection Method Against Massive Error Mails Caused by Sender Spoofed Spam Mails
Wide spread of spam mails is one of the most serious problems on e-mail environment. Particularly, spam mails with a spoofed sender address should not be left alone, since they ma...
Nariyoshi Yamai, Kiyohiko Okayama, Takuya Miyashit...