Sciweavers

126 search results - page 4 / 26
» Decreasing Diagrams II
Sort
View
ISVD
2007
IEEE
14 years 11 days ago
From the Kneser-Poulsen conjecture to ball-polyhedra via Voronoi diagrams
A very fundamental geometric problem on finite systems of spheres was independently phrased by Kneser (1955) and Poulsen (1954). According to their well-known conjecture if a fi...
Károly Bezdek
FPGA
2007
ACM
185views FPGA» more  FPGA 2007»
14 years 7 days ago
Power-aware FPGA logic synthesis using binary decision diagrams
Power consumption in field programmable gate arrays (FPGAs) has become an important issue as the FPGA market has grown to include mobile platforms. In this work we present a power...
Kevin Oo Tinmaung, David Howland, Russell Tessier
FASE
2003
Springer
13 years 11 months ago
Integration of Formal Datatypes within State Diagrams
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
Christian Attiogbé, Pascal Poizat, Gwen Sal...
CORR
2002
Springer
93views Education» more  CORR 2002»
13 years 5 months ago
Synthesis of Low-Power Digital Circuits Derived from Binary Decision Diagrams
-- This paper introduces a novel method for synthesizing digital circuits derived from Binary Decision Diagrams (BDDs) that can yield to reduction in power dissipation. The power r...
Denis V. Popel
ESA
2008
Springer
97views Algorithms» more  ESA 2008»
13 years 7 months ago
The Complexity of Bisectors and Voronoi Diagrams on Realistic Terrains
We prove tight bounds on the complexity of bisectors and Voronoi diagrams on so-called realistic terrains, under the geodesic distance. In particular, if n denotes the number of tr...
Boris Aronov, Mark de Berg, Shripad Thite