3844 search results - page 331 / 769 » Modular interpreted systems |
168
click to vote
AFRICACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a simple zero-knowledge proof of knowledge protocol of which many protocols in the literature are instantiations. These include Schnorr’s protocol for provin...
148
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper presents significant steps towards the online integration of 3D perception and manipulation for personal robotics applications. We propose a modular and distributed...
153
click to vote
LOPSTR
2009
Springer
15 years 11 months ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...
152
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
126
click to vote
HOTI
2008
IEEE
15 years 11 months ago
2008
IEEE
-- We describe a telecentric optical system for free-space multichannel optical interconnects. The targeted aggregate data rate is 240Gb/s. We have a unique implementation of telec...