219 search results - page 34 / 44 » Context-aware counter abstraction |
178
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract—In [1], the author presented a 1+N protection strategy against single link failures using a network coding approach on p-Cycles. In this paper, we extend this approach t...
179
click to vote
LICS
2007
IEEE
16 years 26 days ago
2007
IEEE
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
190
click to vote
ISCAS
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract— This paper reports the design of a high performance, adaptive low/high swing CMOS driver circuit (mj–driver) suitable for driving of global interconnects with large c...
161
click to vote
CHES
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper presents a design-space exploration of the Galois/Counter Mode (GCM) algorithm with Advanced Encryption Standard (AES) as underlying block cipher for high thro...
192
click to vote
ILC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...