Sciweavers

572 search results - page 56 / 115
» metrics 2005
Sort
View
IWDC
2005
Springer
139views Communications» more  IWDC 2005»
15 years 11 months ago
A New Routing Protocol in Ad Hoc Networks with Unidirectional Links
Most of the proposed algorithms in ad hoc networks assume homogeneous nodes with similar transmission range and capabilities. However, in heterogeneous ad hoc network, it is not ne...
Deepesh Man Shrestha, Young-Bae Ko
PDCAT
2005
Springer
15 years 11 months ago
Approximating Spanning Trees with Inner Nodes Cost
We consider the practical NP-complete problem of finding a minimum weight spanning tree with both edge weights and inner nodes weights. We present two polynomial time algorithms ...
Rudolf Fleischer, Qi Ge, Jian Li, Shijun Tian, Hai...
ZUM
2005
Springer
142views Formal Methods» more  ZUM 2005»
15 years 11 months ago
Formal Program Development with Approximations
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
Eerke A. Boiten, John Derrick
CSB
2005
IEEE
192views Bioinformatics» more  CSB 2005»
15 years 12 months ago
Operon Prediction in Cyanobacteria using Comparative Genomics
In this work, we performed a comprehensive analysis of the genome organization of eight publicly available cyanobacterial genomes and of the extensively studied Escherichia coli K...
Natalia Khuri, Nikhila S. Rao
ISQED
2005
IEEE
81views Hardware» more  ISQED 2005»
15 years 12 months ago
An ILP Formulation for Reliability-Oriented High-Level Synthesis
Reliability decisions taken early in system design can bring significant benefits in terms of design quality. This paper presents a 0-1 integer linear programming (ILP) formulatio...
Suleyman Tosun, Ozcan Ozturk, Nazanin Mansouri, Er...