2924 search results - page 384 / 585 » Lower Bounds in Distributed Computing |
149
click to vote
EUROSYS
2011
ACM
14 years 8 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
162
click to vote
LATA
2011
Springer
14 years 7 months ago
2011
Springer
In this paper we propose a hierarchy of classes of languages, generated by networks of evolutionary processors with the filters in several special classes of regular sets. More p...
187
click to vote
NETWORKING
2011
14 years 7 months ago
2011
Abstract. Sensing mechanisms that estimate the occupancy of wireless spectrum are crucial to the success of approaches based on Dynamic Spectrum Access. In this paper, we present k...
184
click to vote
AFL
2011
14 years 4 months ago
2011
In this paper, we propose a new variant of Accepting Networks of Evolutionary Processors, in which the operations can be applied only arbitrarily to the words, while the filters ...
160
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
Stereo visual odometry and dense scene reconstruction depend critically on accurate calibration of the extrinsic (relative) stereo camera poses. We present an algorithm for contin...