6355 search results - page 381 / 1271 » From Logic to Games |
195
Voted
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
170
Voted
SAS
2004
Springer
16 years 6 days ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
194
click to vote
FCCM
2002
IEEE
15 years 11 months ago
2002
IEEE
We examine the energy savings possible by re-mapping critical software loops from a microprocessor to configurable logic appearing on the same-chip in commodity chips now commerci...
167
click to vote
CHES
2006
Springer
15 years 10 months ago
2006
Springer
Recent research has shown that cryptographers with glitches are vulnerable in front of Side Channel Attacks (SCA). Since then, several methods, such as Wave Dynamic Differential Lo...
175
Voted
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Conditional logics capture default entailment in a modal framework in which non-monotonic implication is a first-class citizen, and in particular can be negated and nested. There i...