Sciweavers

599 search results - page 91 / 120
» The repeater tree construction problem
Sort
View
ICN
2001
Springer
15 years 2 months ago
Multicast Routing and Wavelength Assignment in Multi-Hop Optical Networks
This paper addresses multicast routing in multi-hop optical networks employing wavelength-division multiplexing (WDM). We consider a model in which multicast communication requests...
Ran Libeskind-Hadas, Rami G. Melhem
65
Voted
ACSD
2005
IEEE
66views Hardware» more  ACSD 2005»
15 years 3 months ago
Gaining Predictability and Noise Immunity in Global Interconnects
We present a bundled data communication scheme that is robust to crosstalk effects, and to manufacturing and environmental variations. Unlike a data bus, where each receiver alway...
Yinghua Li, Alex Kondratyev, Robert K. Brayton
WG
2005
Springer
15 years 3 months ago
Extending the Tractability Border for Closest Leaf Powers
The NP-complete Closest 4-Leaf Power problem asks, given an undirected graph, whether it can be modified by at most edge insertions or deletions such that it becomes a 4-leaf powe...
Michael Dom, Jiong Guo, Falk Hüffner, Rolf Ni...
SMA
2003
ACM
15 years 2 months ago
Geometric constraint solving via C-tree decomposition
This paper has two parts. First, we propose a method which can be used to decompose a geometric constraint graph into a c-tree. With this decomposition, solving for a well-constrai...
Xiao-Shan Gao, Gui-Fang Zhang
77
Voted
TPHOL
1999
IEEE
15 years 1 months ago
Universal Algebra in Type Theory
We present a development of Universal Algebra inside Type Theory, formalized using the proof assistant Coq. We define the notion of a signature and of an algebra over a signature. ...
Venanzio Capretta