2634 search results - page 20 / 527 » Faster Than Uppaal |
CHI
2002
ACM
14 years 7 months ago
2002
ACM
We present experimental results showing that search for target items in a three-tiered categorization structure (approximately 8 links per page) is faster than a comparable two-ti...
SLP
1993
13 years 8 months ago
1993
We present a boolean constraint logic language clp(B/FD) built upon a language over finite domains clp(FD) which uses a local propagation constraint solver. It is based on a sing...
SODA
2012
ACM
11 years 10 months ago
2012
ACM
We consider the dictionary problem in external memory and improve the update time of the wellknown buffer tree by roughly a logarithmic factor. For any λ ≥ max{lg lg n, logM/B(...
MICRO
2002
IEEE
14 years 12 days ago
2002
IEEE
Multimedia processing on embedded devices requires an architecture that leads to high performance, low power consumption, reduced design complexity, and small code size. In this p...
PQCRYPTO
2010
13 years 11 months ago
2010
This paper shows that quantum information-set-decoding attacks are much faster than non-quantum information-set-decoding attacks.