3931 search results - page 376 / 787 » Separation logic and abstraction |
234
click to vote
CHES
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. In this paper a compact FPGA architecture for the AES algorithm with 128-bit key targeted for low-cost embedded applications is presented. Encryption, decryption and key ...
196
click to vote
TAMC
2010
Springer
16 years 6 hour ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between objects that satisfy some desirable property and objects that are far from satisfying it, after examining only a s...
182
click to vote
WOLLIC
2010
Springer
16 years 4 hour ago
2010
Springer
Proof theoretic characterizations of complexity classes are of considerable interest because they link levels of conceptual abstraction to computational complexity. We consider he...
156
click to vote
ARC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents the very first implementation of a HyperTransport 3 physical layer interface for Field Programmable Gate Arrays. HyperTransport is a low latency, high...
170
click to vote
LORI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The aim of this work is propose a logical approach to intention dynamics based on the notion of assignment [7, 3]. The function of an assignment is to associate the truth...