3001 search results - page 183 / 601 » Recursive type generativity |
169
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
136
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
We present deterministic sequences for use in sampling-based approaches to motion planning. They simultaneously combine the qualities found in many other sequences: i) the increme...
171
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Numerous clustering algorithms have been proposed that can support routing in mobile ad hoc networks (MANETs). However, there is very little formal analysis that considers the comm...
152
click to vote
ARITH
1999
IEEE
15 years 10 months ago
1999
IEEE
In two operand addition, bit-wise intermediate variables such as the "propagate" and "generate" terms are defined/evaluated first. Basic carry propagation recu...
161
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...