8232 search results - page 1325 / 1647 » Dynamic Logic Programming |
191
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a United States Air Force Advanced Technology Demonstration (ATD) that applied value-based scheduling to produce an adaptive, distributed tracking component ap...
203
click to vote
APSEC
1998
IEEE
15 years 11 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
187
click to vote
ICCL
1998
IEEE
15 years 11 months ago
1998
IEEE
On-line partial evaluators are hardly ever selfapplicable, because the complexity of deciding whether to residualize terms causes combinatorial explosion when self-application is ...
162
click to vote
PLDI
1998
ACM
15 years 11 months ago
1998
ACM
The conditional branch has long been considered an expensive operation. The relative cost of conditional branches has increased as recently designed machines are now relying on de...
199
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
This paper presents a new algorithm for distributed garbage collection and outlines its implementation within the Network Objects system. The algorithm is based on a reference list...