7167 search results - page 1125 / 1434 » A Technique for Invariant Generation |
197
click to vote
SIGGRAPH
1990
ACM
15 years 11 months ago
1990
ACM
We presenta real-time robot motion plannerthatis fastandcomplete to a resolution. The technique is guaranteed to find a path if one exists at the resolution, and all paths returne...
217
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
Inspired by our past manual aspect mining experiences, this paper describes a random walk model to approximate how crosscutting concerns can be discovered in the absence of domain...
199
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
153
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
Because of the increasing dominance of interconnect issues in advanced IC technology, it is desirable to incorporate global routing into early design stages to get accurate interco...
184
click to vote
CASES
2009
ACM
15 years 11 months ago
2009
ACM
2's complement number system imposes a fundamental limitation on the power and performance of arithmetic circuits, due to the fundamental need of cross-datapath carry propaga...