Sciweavers

2342 search results - page 199 / 469
» Design, Implementation and Characterization of a Cooperative...
Sort
View
SIGCOMM
1994
ACM
15 years 10 months ago
Signaling and Operating System Support for Native-Mode ATM Applications
Applications communicating over connectionless networks, such as IP, cannot obtain per-connection Quality of Service (QoS) guarantees. In contrast, the connection-oriented nature ...
Rosen Sharma, Srinivasan Keshav
NSDI
2007
15 years 8 months ago
SAAR: A Shared Control Plane for Overlay Multicast
Many cooperative overlay multicast systems of diverse designs have been implemented and deployed. In this paper, we explore a new architecture for overlay multicast: we factor out...
Animesh Nandi, Aditya Ganjam, Peter Druschel, T. S...
MOBISYS
2005
ACM
16 years 6 months ago
A dynamic operating system for sensor nodes
Sensor network nodes exhibit characteristics of both embedded systems and general-purpose systems. They must use little energy and be robust to environmental conditions, while als...
Chih-Chieh Han, Ram Kumar, Roy Shea, Eddie Kohler,...
BIRTHDAY
2010
Springer
15 years 6 months ago
Programming Inductive Proofs - A New Approach Based on Contextual Types
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
Brigitte Pientka
WCNC
2008
IEEE
16 years 27 days ago
Asymptotic Distortion Performance of Source-Channel Diversity Schemes over Relay Channels
— Diversity techniques are an effective answer to the challenges presented by fading channels. This paper focuses on studying the performance of systems with diversity of three f...
Karim G. Seddik, Andres Kwasinski, K. J. Ray Liu