Sciweavers

36781 search results - page 205 / 7357
» Parameterizing by the Number of Numbers
Sort
View
92
Voted
ISCAS
2003
IEEE
122views Hardware» more  ISCAS 2003»
15 years 6 months ago
Reducing the number of variable movements in exact BDD minimization
Ordered Binary Decision Diagrams (BDDs) are frequently used in logic synthesis. In this paper a new exact BDD minimization algorithm is presented, which is based on state space se...
Rüdiger Ebendt
98
Voted
IWSOC
2003
IEEE
96views Hardware» more  IWSOC 2003»
15 years 6 months ago
Transformations of Signed-Binary Number Representations for Efficient VLSI Arithmetic
Boris D. Andreev, Edward L. Titlebaum, Eby G. Frie...
88
Voted
COMPGEOM
2003
ACM
15 years 6 months ago
A tight bound for the number of different directions in three dimensions
János Pach, Rom Pinchasi, Micha Sharir
87
Voted
COMPGEOM
2003
ACM
15 years 6 months ago
Constructive root bound for k-ary rational input numbers
Sylvain Pion, Chee-Keng Yap