2432 search results - page 191 / 487 » Cryptographic logical relations |
135
click to vote
IJCAI
1993
15 years 7 months ago
1993
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
120
click to vote
ICCD
2005
IEEE
16 years 2 months ago
2005
IEEE
Traditional approaches for sequential logic optimization include (1) explicit state-based techniques such as state minimization, (2) structural techniques such as retiming, and (3...
152
click to vote
PLPV
2010
ACM
16 years 2 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
163
click to vote
GLVLSI
2009
IEEE
16 years 15 days ago
2009
IEEE
This paper introduces pass-transistor logic design with dualthreshold voltages. A set of single-rail, fully restored, passtransistor gates are presented. Logic transistors are imp...
156
click to vote
IAT
2009
IEEE
16 years 15 days ago
2009
IEEE
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...