4421 search results - page 499 / 885 » Libraries |
116
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
208
click to vote
CATA
2010
15 years 4 months ago
2010
In this paper, a hardware implementation of the AES128 encryption algorithm is proposed. A unique feature of the proposed pipelined design is that the round keys, which are consum...
129
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
145
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
We describe Currawong, a tool to perform system software architecture optimisation. Currawong is an extensible tool which applies optimisations at the point where an application i...
164
click to vote
SIGCSE
2010
ACM
15 years 4 months ago
2010
ACM
Because of the growing importance of concurrent programming, many people are trying to figure out where in the curriculum to introduce students to concurrency. In this paper we di...