Sciweavers

19 search results - page 4 / 4
» ismvl 2010
Sort
View
ISMVL
2010
IEEE
197views Hardware» more  ISMVL 2010»
13 years 9 months ago
On a Graded Notion of t-Norm and Dominance
Abstract—The paper studies graded properties of MTL valued binary connectives, focusing on conjunctive connectives such as t-norms, uninorms, aggregation operators, or quasicopul...
Libor Behounek, Petr Cintula, Ulrich Bodenhofer, S...
ISMVL
2005
IEEE
90views Hardware» more  ISMVL 2005»
13 years 10 months ago
Test Generation and Fault Localization for Quantum Circuits
It is believed that quantum computing will begin to have a practical impact in industry around year 2010. We propose an approach to test generation and fault localization for a wi...
Marek A. Perkowski, Jacob Biamonte, Martin Lukac
ISMVL
2010
IEEE
166views Hardware» more  ISMVL 2010»
13 years 8 months ago
Non-deterministic Multi-valued Logics--A Tutorial
Non-deterministic multi-valued matrices (Nmatrices) are a new, fruitful and quickly expanding field of research first introduced a few years ago. Since then it has been rapidly ...
Arnon Avron, Anna Zamansky
ISMVL
2010
IEEE
209views Hardware» more  ISMVL 2010»
13 years 9 months ago
Secure Design Flow for Asynchronous Multi-valued Logic Circuits
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
Ashur Rafiev, Julian P. Murphy, Alexandre Yakovlev