1059 search results - page 21 / 212 » Standard Logics Are Valuation-Nonmonotonic |
179
click to vote
CHES
2009
Springer
16 years 26 days ago
2009
Springer
Power-based side channel attacks are a significant security risk, especially for embedded applications. To improve the security of such devices, protected logic styles have been p...
154
click to vote
FPL
2005
Springer
15 years 11 months ago
2005
Springer
In many industrial processes, an incorrect operation can lead to irreparable damage to people, equipment, or the environment. In order to reduce risks, the electronic control syst...
174
click to vote
LPNMR
2005
Springer
15 years 11 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
153
click to vote
GLVLSI
2003
IEEE
15 years 11 months ago
2003
IEEE
We introduce a simple hierarchical design technique for using dynamic domino circuits to build high-performance self-timed data path circuits. We wrap the dynamic domino circuit i...
183
click to vote
TPHOL
2009
IEEE
16 years 21 days ago
2009
IEEE
ion and equality to base types but retains lambda abstractions and higher-order variables. We show that this fragment enjoys the characteristic properties of first-order logic: co...