Sciweavers

1217 search results - page 226 / 244
» Using Planetlab to Implement Multicast at the Application Le...
Sort
View
81
Voted
WORDS
2002
IEEE
15 years 3 months ago
Service Differentiation of Communication-bound Processes in a Real-Time Operating System
The majority of today’s Internet-based services are generally not concerned about the level of Quality of Service (QoS) presented to their users. For many such services, however...
Domenico Cotroneo, Massimo Ficco, Mauro Gargiulo, ...
CADE
1998
Springer
15 years 2 months ago
System Description: card TAP: The First Theorem Prover on a Smart Card
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
Rajeev Goré, Joachim Posegga, Andrew Slater...
SIAMSC
2010
125views more  SIAMSC 2010»
14 years 8 months ago
A Parallel Geometric Multigrid Method for Finite Elements on Octree Meshes
Abstract. In this article, we present a parallel geometric multigrid algorithm for solving elliptic partial differential equations (PDEs) on octree based conforming finite elemen...
Rahul S. Sampath, George Biros
SIGCOMM
2012
ACM
13 years 18 days ago
Abstractions for network update
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...
Mark Reitblatt, Nate Foster, Jennifer Rexford, Col...
ICNS
2008
IEEE
15 years 4 months ago
Towards QoS Improvements of TCP-Based Media Delivery
—The amount of audiovisual data available on the Internet and thus of multimedia communication over today’s networks is increasing at a rapid pace. Despite the availability of ...
Martin Prangl, Ingo Kofler, Hermann Hellwagner