Sciweavers

4190 search results - page 272 / 838
» Type Class Directives
Sort
View
EUC
2004
Springer
15 years 10 months ago
On the Effects of Bandwidth Reduction Techniques in Distributed Applications
Communication optimization plays an important role in building networked distributed applications. In this paper, we systematically evaluate four bandwidth reduction algorithms, n...
Hanping Lufei, Weisong Shi, Lucia Zamorano
PADL
2004
Springer
15 years 10 months ago
An Algebraic Theory of Polymorphic Temporal Media
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
Paul Hudak
BIRTHDAY
2000
Springer
15 years 9 months ago
Pict: a programming language based on the Pi-Calculus
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
Benjamin C. Pierce, David N. Turner
DASFAA
1999
IEEE
84views Database» more  DASFAA 1999»
15 years 9 months ago
P-Tree: A B-Tree Index for Lists
The high frequency of applications involving large, ordered, nested lists suggests that list is the "next most" natural data type after set. A list differs from a set th...
Ke Wang, Beng Chin Ooi, Sam Yuan Sung
CIE
2005
Springer
15 years 6 months ago
Domain-Theoretic Formulation of Linear Boundary Value Problems
Abstract. We present a domain theoretic framework for obtaining exact solutions of linear boundary value problems. Based on the domain of compact real intervals, we show how to app...
Dirk Pattinson