5762 search results - page 971 / 1153 » R-tree: A Hardware Implementation |
177
click to vote
ACL2
2006
ACM
16 years 17 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
194
click to vote
ANCS
2006
ACM
16 years 17 days ago
2006
ACM
The increase of the web traffic has created the need for web switches that are able to balance the traffic to the server farms based on their contents (e.g. layer 7 switching). In...
171
click to vote
ASPDAC
2006
ACM
16 years 17 days ago
2006
ACM
Abstract - this paper proposes the use of a high-level architecture exploration method for different MPEG4 video encoders using different customization parameters. The targeted arc...
187
click to vote
ASPDAC
2006
ACM
16 years 17 days ago
2006
ACM
Abstract— Routing tree construction is a fundamental problem in modern VLSI design. In this paper we propose CDCTree, an Obstacle-Avoiding Rectilinear Steiner Minimum Tree (OARSM...
134
click to vote
ASPLOS
2006
ACM
16 years 17 days ago
2006
ACM
Modern cars contain a multitude of micro controllers for a wide area of tasks. The diversity of the heterogeneous hardware and software leads to a complicated and expensive integr...