1902 search results - page 2 / 381 » Differential Dynamic Logics |
JAR
2008
13 years 4 months ago
2008
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
TABLEAUX
2007
Springer
13 years 10 months ago
2007
Springer
FPL
2004
Springer
13 years 10 months ago
2004
Springer
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...
SYNTHESE
2008
13 years 4 months ago
2008
ABSTRACT. In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combine...
CHES
2005
Springer
13 years 10 months ago
2005
Springer
Wave dynamic differential logic combined with differential routing is a working, practical technique to thwart side-channel power attacks. Measurement-based experimental results sh...