Sciweavers

1498 search results - page 152 / 300
» Collection tree protocol
Sort
View
131
Voted
CADE
2008
Springer
16 years 2 months ago
Celf - A Logical Framework for Deductive and Concurrent Systems (System Description)
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
Anders Schack-Nielsen, Carsten Schürmann
IWSEC
2009
Springer
15 years 9 months ago
Reducing Complexity Assumptions for Oblivious Transfer
Reducing the minimum assumptions needed to construct various cryptographic primitives is an important and interesting task in theoretical cryptography. Oblivious Transfer, one of ...
K. Y. Cheong, Takeshi Koshiba
NETCOOP
2007
Springer
15 years 8 months ago
Optimal Congestion Control with Multipath Routing Using TCP-FAST and a Variant of RIP
Abstract. This paper discusses an optimization-based approach for congestion control together with multipath routing in a TCP/IP network. In recent research we have shown how natur...
Enrique Mallada, Fernando Paganini
122
Voted
PVM
2007
Springer
15 years 8 months ago
Using CMT in SCTP-Based MPI to Exploit Multiple Interfaces in Cluster Nodes
Many existing clusters use inexpensive Gigabit Ethernet and often have multiple interfaces cards to improve bandwidth and enhance fault tolerance. We investigate the use of Concurr...
Brad Penoff, Mike Tsai, Janardhan R. Iyengar, Alan...
GLOBECOM
2006
IEEE
15 years 8 months ago
Characterizing Quality of Time and Topology in a Time Synchronization Network
— As Internet computing gains speed, complexity and becomes ubiquitous, the need for precise and accurate time synchronization increases. In this paper, we present a characteriza...
Cristina D. Murta, Pedro R. Torres Jr., Prasant Mo...