119 search results - page 2 / 24 » Batch Range Proof for Practical Small Ranges |
FPL
2006
Springer
13 years 9 months ago
2006
Springer
Interconnect delays are becoming an increasingly significant part of the critical path delay for circuits implemented in FPGAs. Pipelined interconnects have been proposed to addre...
JOC
2011
12 years 8 months ago
2011
This paper is devoted to the design and analysis of short undeniable signatures based on a random oracle. Exploiting their online property, we can achieve signatures with a fully s...
ISSTA
2004
ACM
13 years 10 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
OOPSLA
1999
Springer
13 years 9 months ago
1999
Springer
Java programs are routinely transmitted over low-bandwidth network connections as compressed class le archives (i.e., zip les and jar les). Since archive size is directly proporti...
ICRA
2008
IEEE
13 years 11 months ago
2008
IEEE
— Range-Only SLAM represents a difficult problem due to the inherent ambiguity of localizing either the robot or the beacons from distance measurements only. Most previous appro...