8917 search results - page 247 / 1784 » Abstraction in Algorithm Animation |
121
Voted
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We discuss a collection of mechanized formal proofs of symmetric key block encryption algorithms (AES, MARS, Twofish, RC6, Serpent, IDEA, and TEA), performed in an imple...
120
click to vote
PPAM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The paper presents a new distributed Multilevel Ant Stigmergy Algorithm (MASA) for minimizing the power losses in an electric motor by optimizing the independent geometri...
110
click to vote
WDAG
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The obstruction-free progress condition is weaker than previous nonblocking progress conditions such as lock-freedom and waitfreedom, and admits simpler implementations t...
116
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This article deals with global constraints for which the set of solutions can be recognized by an extended finite automaton whose size is bounded by a polynomial in n, w...
127
click to vote
EVOW
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The quadratic assignment problem arises in a variety of practical settings. It is known to be among the hardest combinatorial problems for exact algorithms. Therefore, a ...