5762 search results - page 383 / 1153 » R-tree: A Hardware Implementation |
195
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents the implementation of a dualpriority scheduling algorithm for real-time embedded systems on a shared memory multiprocessor on FPGA. The dual-priority microkern...
141
click to vote
ISPD
2007
ACM
15 years 8 months ago
2007
ACM
A bus routing algorithm is presented which not only minimizes wire length but also selects the bits in the bus to avoid twisting and conflicts. The resulting bus routes are regula...
159
click to vote
USS
2004
15 years 8 months ago
2004
Kennell and Jamieson [KJ03] recently introduced the Genuinity system for authenticating trusted software on a remote machine without using trusted hardware. Genuinity relies on ma...
157
click to vote
WOTUG
2007
15 years 8 months ago
2007
The LEGO Mindstorms RCX is a widely deployed educational robotics platform. This paper presents a concurrent operating environment for the Mindstorms RCX, implemented natively usin...
156
click to vote
ATVA
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we provide two compositional algorithms to solve safety games and apply them to provide compositional algorithms for the LTL synthesis problem. We have implemented t...