112 search results - page 11 / 23 » A Novel Implementation of the Extended Andorra Model |
CIKM
2000
Springer
14 years 28 days ago
2000
Springer
An e ective bu er management system is crucial for any database management system. While much work has been expended to provide extensible data types,extensible query languages an...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper reports the analytical development and preliminary experimental evaluation of a class of exact nonlinear full state model-based observers for underwater vehicle navi...
SBACPAD
2007
IEEE
14 years 2 months ago
2007
IEEE
One way to exploit Thread Level Parallelism (TLP) is to use architectures that implement novel multithreaded execution models, like Scheduled DataFlow (SDF). This latter model pro...
CAV
2004
Springer
14 years 2 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
This paper proposes a novel Nyquist-rate analog-to-digital (A/D) conversion algorithm which achieves exponential accuracy in the bit-rate despite using imperfect components. The p...