Sciweavers

1341 search results - page 70 / 269
» Dynamic Testimonial Logic
Sort
View
FPL
2004
Springer
80views Hardware» more  FPL 2004»
14 years 2 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»
13 years 9 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, ...
POPL
2012
ACM
12 years 4 months ago
The ins and outs of gradual type inference
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
Aseem Rastogi, Avik Chaudhuri, Basil Hosmer
DAC
2003
ACM
14 years 10 months ago
On-chip logic minimization
While Boolean logic minimization is typically used in logic synthesis, logic minimization can be useful in numerous other applications. However, many of those applications, such a...
Roman L. Lysecky, Frank Vahid
ISCAS
1999
IEEE
129views Hardware» more  ISCAS 1999»
14 years 1 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, ...