1646 search results - page 269 / 330 » Automatic generation of two-party computations |
ACL2
2006
ACM
14 years 4 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
Multimedia extensions (MME) are architectural extensions to general-purpose processors to boost the performance of multimedia workloads. Today, in-line assembly code, intrinsic fu...
FLAIRS
2006
13 years 11 months ago
2006
Autonomous robots, such as automatic vacuum cleaners, toy robot dogs, and autonomous vehicles for the military, are rapidly becoming a part of everyday life. As a result the need ...
BMCBI
2008
13 years 10 months ago
2008
Background: The amount of information stemming from proteomics experiments involving (multi dimensional) separation techniques, mass spectrometric analysis, and computational anal...
DIS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. One of the main goals of Discovery Science is the development and analysis of methods for automatic knowledge discovery in the natural sciences. A central area of natural...