Sciweavers

4902 search results - page 763 / 981
» Multi-agent Systems Methodology
Sort
View
CLUSTER
1999
IEEE
15 years 6 months ago
Experimental measurements and design guidelines for real-time software encryption in multimedia wireless LANs
To secure interactive multimedia applications in wireless LANs WLANs it is pertinent to implement real time cryptographic services. In this paper we evaluate the use of software b...
Aura Ganz, Se Hyun Park, Zvi Ganz
JSAC
1998
110views more  JSAC 1998»
15 years 6 months ago
Turbo Decoding as an Instance of Pearl's "Belief Propagation" Algorithm
—In this paper, we will describe the close connection between the now celebrated iterative turbo decoding algorithm of Berrou et al. and an algorithm that has been well known in ...
Robert J. McEliece, David J. C. MacKay, Jung-Fu Ch...
TODAES
1998
68views more  TODAES 1998»
15 years 6 months ago
Specification and verification of pipelining in the ARM2 RISC microprocessor
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
James K. Huggins, David Van Campenhout
TOCS
2002
70views more  TOCS 2002»
15 years 6 months ago
Secure program partitioning
This paper presents secure program partitioning, a language-based technique for protecting confidential data during computation in distributed systems containing mutually untruste...
Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom,...
PAMI
2007
222views more  PAMI 2007»
15 years 6 months ago
MonoSLAM: Real-Time Single Camera SLAM
—We present a real-time algorithm which can recover the 3D trajectory of a monocular camera, moving rapidly through a previously unknown scene. Our system, which we dub MonoSLAM,...
Andrew J. Davison, Ian D. Reid, Nicholas Molton, O...