Sciweavers

358 search results - page 34 / 72
» GCD of Many Integers
Sort
View
INFOCOM
2002
IEEE
14 years 14 days ago
Routing and Wavelength Assignment in WDM Rings with Heterogeneous Wavelength Conversion Capabilities
—In this paper, we study the routing and wavelength assignment (RWA) tasks in WDM rings with heterogeneous wavelength conversion capabilities. By heterogeneous, we mean that diff...
Dirceu Cavendish, Bhaskar Sengupta
COCOON
2010
Springer
14 years 11 days ago
Imbalance Is Fixed Parameter Tractable
In the Imbalance Minimization problem we are given a graph G = (V, E) and an integer b and asked whether there is an ordering v1 . . . vn of V such that the sum of the imbalance of...
Daniel Lokshtanov, Neeldhara Misra, Saket Saurabh
FPL
2009
Springer
91views Hardware» more  FPL 2009»
14 years 5 days ago
Large multipliers with fewer DSP blocks
Recent computing-oriented FPGAs feature DSP blocks including small embedded multipliers. A large integer multiplier, for instance for a double-precision floating-point multiplier...
Florent de Dinechin, Bogdan Pasca
ASAP
2000
IEEE
184views Hardware» more  ASAP 2000»
13 years 12 months ago
Tradeoff Analysis and Architecture Design of a Hybrid Hardware/Software Sorter
Sorting long sequences of keys is a problem that occurs in many different applications. For embedded systems, a uniprocessor software solution is often not applicable due to the l...
Marcus Bednara, Oliver Beyer, Jürgen Teich, R...
CAV
2000
Springer
89views Hardware» more  CAV 2000»
13 years 12 months ago
Tuning SAT Checkers for Bounded Model Checking
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
Ofer Strichman