11211 search results - page 2008 / 2243 » Rank-Sensitive Data Structures |
120
click to vote
CSL
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...
166
click to vote
DSOM
1999
Springer
15 years 7 months ago
1999
Springer
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...
146
click to vote
ECOOP
1999
Springer
15 years 7 months ago
1999
Springer
We discuss aspects of inlining of virtual method invocations. First, we introduce a new method test to guard inlinings of such invocations, with a di erent set of tradeo s from the...
94
Voted
EPIA
1999
Springer
15 years 7 months ago
1999
Springer
YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first imp...
121
Voted
ERSHOV
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...