369 search results - page 43 / 74 » Arithmetic of Generalized Jacobians |
CC
2001
Springer
14 years 10 days ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
AES
2000
Springer
14 years 5 days ago
2000
Springer
The National Institute of Standards and Technology (NIST) has announced that one of the design criteria for the Advanced Encryption Standard (AES) algorithm was the ability to eļ¬...
ECP
1999
Springer
14 years 3 days ago
1999
Springer
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...
POPL
1998
ACM
14 years 2 days ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally beneļ¬t from information about aliasing. Unfort...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we propose a Genetic Algorithm (GA) approach using a new paths growth procedure by the random key-based encoding for solving Shortest Path Routing (SPR) problem. An...