740 search results - page 90 / 148 » Recursive layout generation |
SAS
2004
Springer
14 years 4 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...
TYPES
2004
Springer
14 years 4 months ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
ICRA
2003
IEEE
14 years 4 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...
INFOCOM
2002
IEEE
14 years 3 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...
ARITH
1999
IEEE
14 years 3 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...