9186 search results - page 1232 / 1838 » A Module System for Scheme |
149
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
We propose a general scheme for the cooperation of different constraint solvers. A uniform interface for constraint solvers allows to formally specify information exchange between...
150
click to vote
MMB
1999
Springer
15 years 10 months ago
1999
Springer
Auctions are a widely used approach for determining the current market price for congested resources. However, using them for real systems, such as the Internet, the auction algor...
161
click to vote
EDBT
1998
ACM
15 years 10 months ago
1998
ACM
In this paper we present MD, a logical model for OLAP systems, and show how it can be used in the design of multidimensional databases. Unlike other models for multidimensional dat...
172
click to vote
IWMM
1998
Springer
15 years 10 months ago
1998
Springer
For Garbage Collection (GC) to be a generally accepted means of memory management it is required to prove its efficiency. This paper presents a scheme that guarantees that an incr...
152
click to vote
POS
1998
Springer
15 years 10 months ago
1998
Springer
Several techniques have been proposed for adding persistence to the Java language environment. This paper describes a system we call icee that works by checkpointing the Java Virt...