945 search results - page 141 / 189 » Incremental Branching Programs |
RTSS
1999
IEEE
14 years 9 hour ago
1999
IEEE
We show the difficulties that arise for the implementation of a real-time garbage collector in a multi-threaded system. A mechanism for synchronization between threads and the gar...
TAPSOFT
1997
Springer
13 years 12 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
BROADNETS
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract-- Optical Networks with wavelength routing are expected to form the backbone in the next generation wide area networks. The traffic grooming problem in optical networks is...
CP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Invariants that incrementally maintain the value of expresder assignments to their variables are a natural abstraction to build high-level local search algorithms. But th...
VLDB
1995
ACM
13 years 11 months ago
1995
ACM
Traditionally, optimizers are “programmed” to optimize queries following a set of buildin procedures. However, optimizers should be robust to its changing environment to gener...