4609 search results - page 786 / 922 » Automatic Generation of Sigma-Protocols |
189
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
A simple and efficient randomized algorithm is presented for solving single-query path planning problems in high-dimensional configuration spaces. The method works by incrementall...
124
click to vote
IWMM
2000
Springer
15 years 9 months ago
2000
Springer
Dynamic storage allocation continues to play an important role in the performance and correctness of systems ranging from user productivity software to high-performance servers. W...
185
click to vote
PATMOS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Reduction of chip packaging and cooling costs for deep sub-micron SystemOn-Chip (SOC) designs is an emerging issue. We present a simulation-based methodology able to real...
179
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
165
click to vote
CAIP
1995
Springer
15 years 9 months ago
1995
Springer
The Point Distribution Model (PDM) has already proved useful for many tasks involving the location or tracking of deformable objects. A principal limitation lies in the fact that n...