Sciweavers

FOCS
1998
IEEE
14 years 3 months ago
Marked Ancestor Problems
Stephen Alstrup, Thore Husfeldt, Theis Rauhe
FOCS
1998
IEEE
14 years 3 months ago
Parametric and Kinetic Minimum Spanning Trees
We consider the parametric minimum spanning tree problem, in which we are given a graph with edge weights that are linear functions of a parameter and wish to compute the sequenc...
Pankaj K. Agarwal, David Eppstein, Leonidas J. Gui...
FOCS
1998
IEEE
14 years 3 months ago
Concurrent Reachability Games
Luca de Alfaro, Thomas A. Henzinger, Orna Kupferma...
FOCS
1998
IEEE
14 years 3 months ago
Delayed Information and Action in On-line Algorithms
Susanne Albers, Moses Charikar, Michael Mitzenmach...
GI
1999
Springer
14 years 3 months ago
Combining Strict and Soft Typing in Functional Programming
We discuss the properties of strictly typed languages on the one hand and soft typing of the other and identify disadvantages of these approaches to type checking in the context of...
Manfred Widera, Christoph Beierle
GI
1999
Springer
14 years 3 months ago
Caching in Networks
d Abstract) Friedhelm Meyer auf der Heide   Berthold V¨ocking† Matthias Westermann   We present a general framework for the development of online algorithms for data manageme...
Matthias Westermann
SCCC
1999
IEEE
14 years 3 months ago
Using Computational Reflection in Optimistic Distributed Simulations
The recent studies in the distributed simulation area are focused in the High Level Architecture, defined by the DoD/USA, which proposes a standard environment to develop and run ...
Fernando Vardânega, Carlos Maziero
SCCC
1999
IEEE
14 years 3 months ago
MetaFT-A Reflective Approach to Implement Replication Techniques in CORBA
A model was introduced in [Fraga97] for integrating replication techniques in heterogeneous systems. The model adopts a reflective structure based on the meta-object approach [10]...
Lau Cheuk Lung, Joni da Silva Fraga, Carlos Mazier...