5762 search results - page 560 / 1153 » R-tree: A Hardware Implementation |
178
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
In this paper we describe load scheduling, a novel method that balances load among register files by residual resources. Load scheduling can reduce register pressure for clustered...
231
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
201
click to vote
CARDIS
2008
Springer
15 years 9 months ago
2008
Springer
The mifare Classic is the most widely used contactless smart card in the market. Its design and implementation details are kept secret by its manufacturer. This paper studies the a...
174
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
165
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
— In this paper we present a scheme for reducing the amount of synchronization overhead needed between components, after HW/SW partitioning, to preserve the original control flo...