1415 search results - page 161 / 283 » Verified systems by composition from verified components |
156
click to vote
MVA
2002
15 years 6 months ago
2002
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...
168
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
—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...
184
click to vote
USS
2010
15 years 4 months ago
2010
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...
153
click to vote
TCOM
2010
15 years 1 months ago
2010
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...
205
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
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...