Sciweavers

1403 search results - page 94 / 281
» About Approximations of Exponentials
Sort
View
EPEW
2005
Springer
15 years 6 months ago
PiDuce: A Process Calculus with Native XML Datatypes
We develop the static and dynamic semantics of PiDuce, a process calculus with XML values, schemas, and pattern matching. PiDuce values include channel names, therefore the structu...
Allen L. Brown Jr., Cosimo Laneve, L. Gregory Mere...
QOFIS
2004
Springer
15 years 6 months ago
Performance Analysis of Peer-to-Peer Networks for File Distribution
Peer-to-peer networks have been commonly used for tasks such as file sharing or file distribution. We study a class of cooperative file distribution systems where a file is bro...
Ernst W. Biersack, Pablo Rodriguez, Pascal Felber
WAOA
2004
Springer
112views Algorithms» more  WAOA 2004»
15 years 6 months ago
Online Bin Packing with Resource Augmentation
In competitive analysis, we usually do not put any restrictions on the computational complexity of online algorithms, although efficient algorithms are preferred. Thus if such an...
Leah Epstein, Rob van Stee
ICALP
2001
Springer
15 years 5 months ago
Lower Bounds for the Weak Pigeonhole Principle Beyond Resolution
We work with an extension of Resolution, called Res(2), that allows clauses with conjunctions of two literals. In this system there are rules to introduce and eliminate such conju...
Albert Atserias, Maria Luisa Bonet, Juan Luis Este...
PLDI
1997
ACM
15 years 5 months ago
Generational Garbage Collection and the Radioactive Decay Model
If a fixed exponentially decreasing probability distribution function is used to model every object’s lifetime, then the age of an object gives no information about its future ...
William D. Clinger, Lars Thomas Hansen