Sciweavers

1940 search results - page 82 / 388
» The Dynamic Logic of Permission
Sort
View
FPL
2004
Springer
80views Hardware» more  FPL 2004»
15 years 5 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 12 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 11 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,...
AAAI
2011
13 years 12 months ago
Preferred Explanations: Theory and Generation via Planning
In this paper we examine the general problem of generating preferred explanations for observed behavior with respect to a model of the behavior of a dynamical system. This problem...
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlrait...
DAC
2003
ACM
16 years 25 days 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