Sciweavers

2470 search results - page 138 / 494
» Liveness-Preserving Simulation Relations
Sort
View
INFOCOM
2011
IEEE
14 years 4 months ago
Delay-bounded MAC with minimal idle listening for sensor networks
—This paper presents a new receiver-initiated sensor network MAC protocol, called CyMAC, which has the following unique features. It reduces the idle listening time of sensor nod...
Yang Peng, Zi Li, Daji Qiao, Wensheng Zhang
CPM
1999
Springer
92views Combinatorics» more  CPM 1999»
15 years 5 months ago
Physical Mapping with Repeated Probes: The Hypergraph Superstring Problem
We focus on the combinatorial analysis of physical mapping with repeated probes. We present computational complexity results, and we describe and analyze an algorithmic strategy. W...
Serafim Batzoglou, Sorin Istrail
141
Voted
COCOA
2009
Springer
15 years 4 months ago
Positive Influence Dominating Set in Online Social Networks
Online social network has developed significantly in recent years as a medium of communicating, sharing and disseminating information and spreading influence. Most of current resea...
Feng Wang 0002, Erika Camacho, Kuai Xu
79
Voted
APNOMS
2006
Springer
15 years 4 months ago
Network Support for TCP Version Migration
Recently, new versions of the TCP protocols such as HSTCP (High Speed TCP) has proposed to adopt the rapid growth of the Internet. However, it is important to consider a deployment...
Shingo Ata, Koichi Nagai, Ikuo Oka
DFT
2004
IEEE
118views VLSI» more  DFT 2004»
15 years 4 months ago
Defect Characterization for Scaling of QCA Devices
Quantum dot Cellular Automata (QCA) is amongst promising new computing scheme in the nano-scale regimes. As an emerging technology, QCA relies on radically different operations in...
Jing Huang, Mariam Momenzadeh, Mehdi Baradaran Tah...