СТ |
Pruning in the Extended Andorra Model |
2004 |
Lopes R., Costa V. S., Silva F. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
СТ |
Understanding Memory Management in Prolog Systems |
2001 |
Castro L. F., Costa V. S. |
|
|
|
Lecture Notes in Computer Science |
08.11.2001 |
СТ |
A Novel Implementation of the Extended Andorra Model |
2001 |
Lopes R., Costa V. S., Silva F. |
|
|
|
Lecture Notes in Computer Science |
05.04.2001 |
СТ |
VisAll: A Universal Tool to Visualise the Parallel Execution of Logic Programs |
1998 |
Fonseca N., Costa V. S. |
|
|
|
Logic Programming |
07.03.2001 |
СТ |
Novel Models for Or-Parallel Logic Programs: A Performance Analysis |
2000 |
Costa V. S., Rocha R., Silva F. |
|
|
|
Lecture Notes in Computer Science |
17.11.2000 |
СТ |
DAOS - Scalable And-Or Parallelism |
1999 |
Castro L. F., Costa V. S., Geyer C.F. R., Silva F. |
|
|
|
Lecture Notes in Computer Science |
20.11.1999 |
СТ |
Optimising Bytecode Emulation for Prolog |
1999 |
Costa V. S. |
|
|
|
Lecture Notes in Computer Science |
27.10.1999 |
СТ |
The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems |
1999 |
Silva M. G., Durta I. C., Bianchini R., Costa V. S. |
|
|
|
Lecture Notes in Computer Science |
16.02.1999 |
СТ |
Or-Parallelism within Tabling |
1999 |
Rocha R., Silva F., Costa V. S. |
|
|
|
Lecture Notes in Computer Science |
16.02.1999 |
СТ |
The SBA: Exploiting Orthogonality in AND-OR Parallel Systems |
1997 |
Correia M. E., Slva F., Costa V. S. |
|
|
|
Logic Programming |
05.03.1998 |
СТ |
ACE: And/Or-parallel Copying-based Execution of Logic Program |
1994 |
Gupta G., Hermenegildo M., Pontelli E., Costa V. S. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
31.01.1996 |
СТ |
IDIOM: Integrating Dependent and-, Independent and-, and Or-parallelism |
1991 |
Gupta G., Costa V. S., Yang R., Hermenegildo M. V. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
29.12.1994 |
СТ |
The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model |
1991 |
Costa V. S., Warren D.H. D., Yang R. |
|
|
|
Logic Programming: Proc./Eight Intern. Conf. |
23.09.1994 |
СТ |
The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model |
1991 |
Costa V. S., Warren D.H. D., Yang R. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
СТ |
And-Or Parallelism in Full Prolog with Paged Binding Arrays |
1992 |
Gupta G., Costa V. S. |
|
|
|
Lecture Notes in Computer Science |
29.07.1992 |