Sciweavers

1859 search results - page 188 / 372
» Sketch-based path design
Sort
View
125
Voted
EUROMICRO
2007
IEEE
15 years 10 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
115
Voted
ICC
2007
IEEE
163views Communications» more  ICC 2007»
15 years 10 months ago
Performance of VoIP using DCCP over a DVB-RCS Satellite Network
— The Datagram Congestion Control Protocol (DCCP) is a new IETF-defined transport protocol for Internet multimedia. The DCCP Congestion Control Identifier 4 (CCID4) was speci...
Arjuna Sathiaseelan, Gorry Fairhurst
DSN
2006
IEEE
15 years 9 months ago
In-Register Duplication: Exploiting Narrow-Width Value for Improving Register File Reliability
Protecting the register value and its data buses is crucial to reliable computing in high-performance microprocessors due to the increasing susceptibility of CMOS circuitry to sof...
Jie Hu, Shuai Wang, Sotirios G. Ziavras
121
Voted
IPPS
2006
IEEE
15 years 9 months ago
The interleaved authentication for filtering false reports in multipath routing based sensor networks
In this paper, we consider filtering false reports in braided multipath routing sensor networks. While multipath routing provides better resilience to various faults in sensor ne...
Youtao Zhang, Jim Yang, Hai T. Vu
135
Voted
CONEXT
2006
ACM
15 years 9 months ago
Shortcuts in a virtual world
We consider the case of a virtual world of peers that are organized in an overlay built by Delaunay Triangulation. Application layer routing is used to determine the path taken in...
Moritz Steiner, Ernst W. Biersack