481 search results - page 88 / 97 » Executing Higher Order Logic |
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
233
click to vote
PADL
2009
Springer
16 years 1 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
125
click to vote
IEEEPACT
2005
IEEE
15 years 6 months ago
2005
IEEE
VLIW architectures are popular in embedded systems because they offer high-performance processing at low cost and energy. The major problem with traditional VLIW designs is that t...
100
click to vote
ESOP
2004
Springer
15 years 6 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
99
Voted
ISCA
2010
IEEE
15 years 5 months ago
2010
IEEE
SIMD organizations amortize the area and power of fetch, decode, and issue logic across multiple processing units in order to maximize throughput for a given area and power budget...