Sciweavers

1423 search results - page 67 / 285
» Quantum logic as a dynamic logic
Sort
View
ETS
2011
IEEE
230views Hardware» more  ETS 2011»
13 years 9 months ago
Dynamic Test Set Selection Using Implication-Based On-Chip Diagnosis
—As circuits continue to scale to smaller feature sizes, wearout and latent defects are expected to cause an increasing number of errors in the field. Online error detection tec...
Nuno Alves, Y. Shi, N. Imbriglia, Jennifer Dworak,...
FPL
2004
Springer
80views Hardware» more  FPL 2004»
15 years 3 months ago
Secure Logic Synthesis
This paper describes the synthesis of dynamic differential logic to increase the resistance of FPGAs against Differential Power Analysis. Compared with an existing technique, it sa...
Kris Tiri, Ingrid Verbauwhede
ENGL
2006
110views more  ENGL 2006»
14 years 10 months ago
Intelligent Control of an Autonomous Mobile Robot using Type-2 Fuzzy Logic
We develop a tracking controller for the dynamic model of unicycle mobile robot by integrating a kinematic controller and a torque controller based on Fuzzy Logic Theory. Computer ...
Leslie Astudillo, Oscar Castillo, Patricia Melin, ...
LOGCOM
2000
69views more  LOGCOM 2000»
14 years 9 months ago
Object calculi in linear logic
Several calculi of objects have been studied in the recent literature, that support the central features of object-based languages: messages, inheritance, dynamic dispatch, object...
Michele Bugliesi, Giorgio Delzanno, Luigi Liquori,...
ISCAS
1999
IEEE
129views Hardware» more  ISCAS 1999»
15 years 2 months ago
Fuzzy logic damping controller for FACTS devices in interconnected power systems
In this paper fuzzy controllers are designed for FACTS devices in interconnected power systems. Two typical FACTS devices, STATCOM and UPFC, are used as examples to show that FACT...
Ni Yixin, Mak Lai On, Huang Zhenyu, Chen Shousun, ...