2634 search results - page 30 / 527 » Faster Than Uppaal |
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
The Cameron project has developed a language and compiler for mapping image-based applications to field programmable gate arrays (FPGAs). This paper tests this technology on sever...
ICCAD
2004
IEEE
14 years 4 months ago
2004
IEEE
We propose a new approach to library-based technology mapping, based on the method of logical effort. Our algorithm is close to optimal for fanout-free circuits, and is extended t...
WEA
2010
Springer
14 years 2 months ago
2010
Springer
This paper shows that using some very simple practical assumptions, one can design an algorithm that finds the nearest neighbor of a given query point in O(log n) time in theory ...
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
— In this paper we propose a new feature detection algorithm to enable junction recognition intended for high speed reactive navigation in tunnel like environments. We also prese...
MEMOCODE
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract: We present an implementation of a highthroughput cryptosorter, capable of sorting an encrypted database of eight megabytes in .15 seconds; 1102 times faster than a softwa...