Sciweavers

7921 search results - page 208 / 1585
» LSH-preserving functions and their applications
Sort
View
ICCAD
1994
IEEE
101views Hardware» more  ICCAD 1994»
15 years 10 months ago
A general framework for vertex orderings, with applications to netlist clustering
We present a general framework for the construction of vertex orderings for netlist clustering. Our WINDOW algorithm constructs an ordering by iteratively adding the vertex with h...
Charles J. Alpert, Andrew B. Kahng
EUROPAR
2006
Springer
15 years 10 months ago
Applicability of Load Balancing Strategies to Data-Parallel Embedded Runge-Kutta Integrators
Abstract. Embedded Runge-Kutta methods are among the most popular methods for the solution of non-stiff initial value problems of ordinary differential equations (ODEs). We investi...
Matthias Korch, Thomas Rauber
COMPGEOM
2005
ACM
15 years 8 months ago
Fast construction of nets in low dimensional metrics, and their applications
We present a near linear time algorithm for constructing hierarchical nets in finite metric spaces with constant doubling dimension. This data-structure is then applied to obtain...
Sariel Har-Peled, Manor Mendel
FMICS
2008
Springer
15 years 8 months ago
Using CSP||B Components: Application to a Platoon of Vehicles
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Je...
FOIKS
2008
Springer
15 years 8 months ago
Autonomous Sets - A Method for Hypergraph Decomposition with Applications in Database Theory
We present a method for decomposing a hypergraph with certain regularities into smaller hypergraphs. By applying this to the set of all canonical covers of a given set of functiona...
Henning Köhler