СТ |
Or-Parallelism within Tabling |
1999 |
Rocha R., Silva F., Costa V. S. |
|
|
|
Lecture Notes in Computer Science |
16.02.1999 |
СТ |
A Virtual Machine for a Process Calculus |
1999 |
Lopes L., Silva F., Vasconcelos V. T. |
|
|
|
Lecture Notes in Computer Science |
27.10.1999 |
СТ |
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 |
СТ |
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 |
СТ |
A Novel Implementation of the Extended Andorra Model |
2001 |
Lopes R., Costa V. S., Silva F. |
|
|
|
Lecture Notes in Computer Science |
05.04.2001 |
СТ |
P3: Parallel Peer to Peer An Internet Parallel Programming Environment |
2002 |
Oliveira L., Lopes L., Silva F. |
|
|
|
Lecture Notes in Computer Science |
23.10.2002 |
СТ |
Mob: A Scripting Language for Mobile Agents Based on a Process Calculus |
2003 |
Paulino H., Lopes L., Silva F. |
|
|
|
Lecture Notes in Computer Science |
19.09.2003 |
СТ |
A Multi-threaded Asynchronous Language |
2003 |
Paulino H., Marques P., Lopes L., Vasconcelos V., Silva F. |
|
|
|
Lecture Notes in Computer Science |
14.11.2003 |
СТ |
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 |