5762 search results - page 292 / 1153 » R-tree: A Hardware Implementation |
168
click to vote
ISCAS
1994
IEEE
15 years 10 months ago
1994
IEEE
Based on symmetry of the maximally flat frequency response of a FIR notch filter the new design procedure is developed. The closed form solution provides direct computation of the...
163
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Abstract-- Multiprocessor designs have become popular in embedded domains for achieving the power and performance requirements. In this paper, we present principles and techniques ...
158
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper presents a practical automatic verification procedure for proving linearizability (i.e., atomicity and functional correctness) of concurrent data structure im...
129
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We introduce Petruchio, a tool for computing Petri net translations of dynamic networks. To cater for unbounded architectures beyond the capabilities of existing implementations, t...
163
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
Metadata management is one of the key concepts of distributed interoperable systems. This paper compares two approaches to building a metadata repository for component-based distr...