Sciweavers

4305 search results - page 769 / 861
» Analysing Protocol Implementations
Sort
View
141
Voted
PARCO
2003
15 years 3 months ago
Cache Memory Behavior of Advanced PDE Solvers
Three different partial differential equation (PDE) solver kernels are analyzed in respect to cache memory performance on a simulated shared memory computer. The kernels implement...
Dan Wallin, Henrik Johansson, Sverker Holmgren
126
Voted
USENIX
2003
15 years 3 months ago
Network Programming for the Rest of Us
Twisted is a high-level networking framework that is built around event-driven asynchronous I/O. It supports TCP, SSL, UDP and other network transports. Twisted supports a wide va...
Glyph Lefkowitz, Itamar Shtull-Trauring
HPN
1998
15 years 3 months ago
Differentiated Services: A New Approach for Quality of Service in the Internet
With the grown popularity of the Internet and the increasing use of business and multimedia applications the users' demand for higher and more predictable quality of service ...
Florian Baumgartner, Torsten Braun, Pascal Habegge...
144
Voted
IWFM
2000
107views Formal Methods» more  IWFM 2000»
15 years 3 months ago
A Comparison of Three Model Checkers Applied to a Distributed Database Problem
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
A. J. Currie
NETWORKING
2000
15 years 3 months ago
A Scheme for Time-Dependent Resource Reservation in QoS-Enabled IP Networks
A number of distributed applications require communication services with Quality of Service (QoS) guarantees. The QoS provisioning issue in the Internet has been addressed by the I...
Roberto Canonico, Simon Pietro Romano, Mauro Selli...