Sciweavers

1415 search results - page 161 / 283
» Verified systems by composition from verified components
Sort
View
MVA
2002
15 years 6 months ago
Development of an Immersive Teleoperating System for Unmanned Helicopter
To collect the information on devastated districts, it is effective to use helicopters. However, the operation using manned helicopters costs a lot. It is expected that the use of...
Masanao Koeda, Yoshio Matsumoto, Tsukasa Ogasawara
ICRA
2010
IEEE
245views Robotics» more  ICRA 2010»
15 years 4 months ago
2000 fps real-time vision system with high-frame-rate video recording
—This paper introduces a high-speed vision system called IDP Express, which can execute real-time image processing and high frame rate video recording simultaneously. In IDP Expr...
Idaku Ishii, Tetsuro Tatebe, Qingyi Gu, Yuta Moriu...
USS
2010
15 years 4 months ago
ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash
In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic pro...
Sarah Meiklejohn, C. Christopher Erway, Alptekin K...
TCOM
2010
83views more  TCOM 2010»
15 years 1 months ago
Global and Fast Receiver Antenna Selection for MIMO Systems
Abstract--For a multiple-input multiple-output (MIMO) system with more antennas at the receiver than the transmitter, selecting the same number of receiver antennas as the number o...
Bu Hong Wang, Hon Tat Hui, Mook Seng Leong
CAV
2009
Springer
209views Hardware» more  CAV 2009»
16 years 6 months ago
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamari...