|
СТ |
Compiler Optimizations in Refform Prolog: Experiments on the KSR-1 Multiprocessor |
1995 |
Lindgren T., Bevemyr J., Millroth H. |
Lecture Notes in Computer Science |
|
|
EURO-PAR 95 Parallel Processing |
20.10.1995 |
|
СТ |
A Simple and Efficient Copying Garbage Collector for Prolog |
1994 |
Bevemyr J., Lindgren T. |
|
|
|
Lecture Notes in Computer Science |
12.10.1994 |
|
СТ |
Parallel Bounded Quantification - Preliminary Results |
1993 |
Arro H., Barklund J., Bevemyr J. |
|
|
|
SIGPLAN Notices |
29.09.1993 |
|
СТ |
Executing Bounded Quantifications on Shared Memory Multiprocessors |
1993 |
Barklund J., Bevemyr J. |
|
|
|
Lecture Notes in Computer Science |
22.09.1993 |
|
СТ |
Prolog with Arrays and Bounded Quantifications |
1993 |
Barklund J., Bevemyr J. |
|
|
|
Lecture Notes in Artificial Intelligence |
07.08.1993 |
|
СТ |
Exploiting Recursion-Parallelism in Prolog |
1993 |
Bevemyr J., Lindgren Th., Millroth H. |
|
|
|
Lecture Notes in Computer Science |
29.07.1993 |
