Sciweavers

1859 search results - page 188 / 372
» Sketch-based path design
Sort
View
EUROMICRO
2007
IEEE
16 years 27 days 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
ICC
2007
IEEE
163views Communications» more  ICC 2007»
16 years 27 days 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
16 years 18 days 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
IPPS
2006
IEEE
16 years 17 days 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
CONEXT
2006
ACM
16 years 16 days 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