Sciweavers

2323 search results - page 333 / 465
» Power optimization for connectivity problems
Sort
View
136
Voted
CORR
2006
Springer
95views Education» more  CORR 2006»
15 years 3 months ago
SAT Solving for Argument Filterings
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
Michael Codish, Peter Schneider-Kamp, Vitaly Lagoo...
128
Voted
ADHOC
2005
102views more  ADHOC 2005»
15 years 3 months ago
Localized LMST and RNG based minimum-energy broadcast protocols in ad hoc networks
In the minimum energy broadcasting problem, each node adjusts its transmission power to minimize the total energy consumption while still guaranteeing the full coverage of the net...
Julien Cartigny, François Ingelrest, David ...
154
Voted
TON
2008
106views more  TON 2008»
15 years 3 months ago
On static and dynamic partitioning behavior of large-scale P2P networks
Abstract--In this paper, we analyze the problem of network disconnection in the context of large-scale P2P networks and understand how both static and dynamic patterns of node fail...
Derek Leonard, Zhongmei Yao, Xiaoming Wang, Dmitri...
130
Voted
CIKM
2010
Springer
15 years 2 months ago
Meta-metadata: a metadata semantics language for collection representation applications
Collecting, organizing, and thinking about diverse information resources is the keystone of meaningful digital information experiences, from research to education to leisure. Meta...
Andruid Kerne, Yin Qu, Andrew M. Webb, Sashikanth ...
121
Voted
NOCS
2010
IEEE
15 years 1 months ago
Physical vs. Virtual Express Topologies with Low-Swing Links for Future Many-Core NoCs
The number of cores present on-chip is increasing rapidly. The on-chip network that connects these cores needs to scale efficiently. The topology of on-chip networks is an importan...
Chia-Hsin Owen Chen, Niket Agarwal, Tushar Krishna...