8917 search results - page 485 / 1784 » Abstraction in Algorithm Animation |
147
click to vote
TVLSI
2008
15 years 6 months ago
2008
Abstract--This paper presents a new set of techniques for hardware implementations of Secure Hash Algorithm (SHA) hash functions. These techniques consist mostly in operation resch...
172
click to vote
IANDC
2000
15 years 6 months ago
2000
Abstract. We present a uniform algorithm for transforming machine-found matrix proofs in classical, constructive, and modal logics into sequent proofs. It is based on unified repre...
157
click to vote
IJUFKS
2002
15 years 6 months ago
2002
aint on disclosure risk. Underlying abstractions -- primarily associated with the query space, as well as released and unreleasable sub-tables and frontiers, computational algorith...
152
click to vote
SCHEDULING
2010
15 years 5 months ago
2010
Abstract We state some of the most important open algorithmic problems in real-time scheduling, and survey progress made on these problems since the 2009 Dagstuhl scheduling semina...
148
click to vote
AAECC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract Elementary techniques from operational calculus, differential algebra, and noncommutative algebra lead to a new approach for change-point detection, which is an important ...