|
[1]
|
P. Ribeiro, F. Silva, and M. Kaiser, “Strategies for Network Motifs
Discovery,” in 5th IEEE International Conference on e-Science
(e-Science 2009), Oxford, UK, IEEE Press, December 2009.
[ bib ]
|
|
[2]
|
P. Ribeiro, J. Simonotto, M. Kaiser, and F. Silva, “Parallel calculation of
multi-electrode array correlation networks,” Journal of Neuroscience
Methods, Elsevier, vol. 184, pp. 357-364, November 2009.
[ bib |
html ]
|
|
[3]
|
N. A. Fonseca, A. Srinivasan, F. Silva, and R. Camacho, “Parallel ILP for
Distributed Memory Architectures,” Machine Learning Journal, vol. 74,
pp. 257-279, March 2009.
[ bib |
html ]
|
|
[4]
|
N. A. Fonseca, V. S. Costa, R. Rocha, R. Camacho, and F. Silva, “Improving
the Efficiency of Inductive Logic Programming Systems,” Software -
Practice and Experience, Wiley (to appear), vol. 39, pp. 189-219, Februay
2009.
(Published online since Aug 19 2008).
[ bib |
html ]
|
|
[1]
|
C. Schulte, F. Silva, and R. R. (Eds.), “Proceedings of the 5th Colloquium on
the Implementation of Constraint and LOgic Programming Systems (CICLOPS),”
tech. rep., TR DCC-2005-08, DCC-FC & LIACC, Universidade do Porto, October
2005.
[ bib |
pdf ]
|
|
[2]
|
R. Rocha, F. Silva, and V. S. Costa, “Dynamic Mixed-Strategy Evaluation of
Tabled Logic Programs,” in Proceedings of the 21st International
Conference on Logic Programming (ICLP'2005), Sitges, Spain, vol. 3668 of
LNCS, pp. 250-264, Springer-Verlag, October 2005.
ISI:000233274000020.
[ bib ]
|
|
[3]
|
R. Rocha, R. Lopes, F. Silva, and V. S. Costa, “IMPACT: Innovative Models for
Prolog with Advanced Control and Tabling.,” in Proceedings of the 21st
International Conference on Logic Programming (ICLP'2005), Sitges, Spain,
vol. 3668 of LNCS, pp. 416-417, Springer-Verlag, October 2005.
ISI:000233274000036; IC: 1.
[ bib ]
|
|
[4]
|
N. Fonseca, F. Silva, V. S. Costa, and R. Camacho, “A Pipelined Data-Parallel
Algorithm for ILP,” in In the Proceedings of 2005 IEEE
International Conference on Cluster Computing, Boston, USA, IEEE,
September 2005.
[ bib |
pdf |
html ]
|
|
[5]
|
N. Fonseca, F. Silva, and R. Camacho, “Strategies to Parallelize ILP
Systems,” in Proceedings of the 15th International Conference on
Inductive Logic Programming (ILP 2005), Bonn, Germany, vol. 3625 of
LNCS, pp. 136-153, Springer-Verlag, August 2005.
ISI:000233222900009, IC: 2; SC: 7(3). (Best Student Paper
award).
[ bib |
pdf |
html ]
|
|
[6]
|
R. Rocha, F. Silva, and V. S. Costa, “On Applying Or-Parallelism and Tabling
to Logic Programs,” Journal of Theory and Practice of Logic
Programming, vol. 5, pp. 161-205, January 2005.
ISI:000227408400006; IC: 2.
[ bib |
pdf ]
|
|
[7]
|
J. P. Magalhães, F. Silva, and L. Lopes, “P3fs: um Sistema de Ficheiros
Distribuído para uma Arquitectura P2P.,” in Actas da 6ª Conferência em
Redes e Serviços de Comunicação (CRSC'2005), Covilhã, Portugal, Junho 2005.
[ bib ]
|
|
[1]
|
R. Rocha, F. Silva, and V. S. Costa, “Speculative Computations in Or-Parallel
Tabled Logic Programs,” in Proceedings of the 20th International
Conference on Logic Programming, ICLP'2004, Saint-Malo, France, no. 3132 in
LNCS, pp. 254-268, Springer-Verlag, September 2004.
ISI:000224065200018.
[ bib |
pdf ]
|
|
[2]
|
N. A. Fonseca, V. S. Costa, R. Camacho, and F. Silva, “On avoiding redundancy
in Inductive Logic Programming,” in Proceedings of the 14th
International Conference on Inductive Logic Programming (ILP 2004), Porto,
Portugal, vol. 3194 of LNAI, pp. 132-146, Springer-Verlag, September
2004.
ISI:000223999400013.
[ bib |
pdf ]
|
|
[3]
|
R. Rocha, F. Silva, and V. S. Costa, “Concurrent Table Accesses in Parallel
Tabled Logic Programs,” in Proceedings of the 10th International
Euro-Par Conference, Euro-Par 2004, Pisa, Italy, no. 3149 in LNCS,
pp. 662-670, Springer-Verlag, August/September 2004.
ISI:000223792500087.
[ bib |
pdf ]
|
|
[4]
|
R. Lopes, V. S. Costa, and F. Silva, “Prunning in the Extended Andorra
Model,” in Proceedings of the 6th International Symposium on Practical
Aspects of Declarative Languages (PADL'2004), Dallas, USA, vol. 1990 of
LNCS, pp. 199-213, Springer-Verlag, June 2004.
ISI:000222564900009; IC: 1.
[ bib |
pdf ]
|
|
[5]
|
R. Lopes, V. S. Costa, and F. Silva, “Exploiting Parallelism in the Extended
Andorra Model,” in Proceedings of the IASTED International Conference
on Parallel and Distributed Computing and Networks (PDCN 2004), Insbruck,
Austria. (A. Press, ed.), pp. 483-489, February 2004.
ISIP:000228483300080.
[ bib |
pdf ]
|
|
[1]
|
R. Rocha, F. Silva, and V. S. Costa, “A Tabling Engine Designed to Support
Mixed-Strategy Evaluation,” in Proceedings of the CICLOPS'2003:
Colloquium on Implementation of Constraint and LOgic Programming Systems,
co-located with ICLP'2003, Mumbai, India, December 2003.
[ bib |
pdf ]
|
|
[2]
|
R. Lopes, V. S. Costa, and F. Silva, “On Deterministic Computations in teh
Extended Andorra Model,” in Proceedings of the 19th International
Conference on Logic Programming (ICLP 2003), India,, vol. 2916 of
LNCS, pp. 407-421, Springer-Verlag, December 2003.
ISI:000188243600028; IC: 2.
[ bib |
pdf ]
|
|
[3]
|
R. Rocha, F. Silva, and R. Martins, “YapDSS: an Or-Parallel Prolog System for
Scalable Beowulf Clusters,” in Proceedings of the 11th Portuguese
Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal., vol. 2902
of LNAI, pp. 136-150, Springer-Verlag, December 2003.
ISI:000187551600013; SC: 1(1).
[ bib |
pdf ]
|
|
[4]
|
R. Lopes, V. S. Costa, and F. Silva, “On the BEAM Implementation,” in
Proceedings of the 11th Portuguese Conference on Artificial Intelligence,
EPIA 2003, Beja, Portugal., vol. 2902 of LNAI, pp. 131-135,
Springer-Verlag, December 2003.
ISI:000187551600012.
[ bib |
pdf ]
|
|
[5]
|
N. Fonseca, V. S. Costa, F. Silva, and R. Camacho, “Experimental Evaluation
of a Caching Technique for ILP,” in Proceedings of the 11th Portuguese
Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal,, vol. 2902
of LNAI, pp. 151-155, Springer-Verlag, December 2003.
ISI:000187551600014.
[ bib |
pdf ]
|
|
[6]
|
N. Fonseca, V. S. Costa, F. Silva, and R. Camacho, “On Avoiding Redundancy in
Inductive Logic Programming Systems,” tech. rep., DCC-2003-04, DCC - FC &
LIACC, Universidade do Porto, November 2003.
[ bib |
pdf ]
|
|
[7]
|
N. Fonseca, V. S. Costa, F. Silva, and R. Camacho, “On the Implementation of
an ILP System with Prolog,” tech. rep., DCC-2003-03, DCC - FC & LIACC,
Universidade do Porto, October 2003.
Extended version of the corresponding EPIA'2003 paper.
[ bib |
pdf ]
|
|
[8]
|
N. A. Fonseca, R. Rocha, R. Camacho, and F. Silva, “Efficient Data Structures
for Inductive Logic Programming,” in Proceedings of the 13th
International Conference on Inductive Logic Programming, ILP'2003, Hungary,
vol. 2835 of LNAI, pp. 130-145, Springer-Verlag, September 2003.
ISI:000187957800010.
[ bib |
pdf ]
|
|
[9]
|
N. Fonseca, R. Camacho, and F. Silva, “A parallel ILP algorithm that
incorporates incremental batch learning,” in Proceedings of the
Workshop on Parallel and Distributed Computing for Machine Learning,
co-located with ECML/PKDD'2003, Dubrovnik, September 2003.
[ bib |
pdf ]
|
|
[10]
|
N. Amado, J. Gama, and F. Silva, “Exploiting Parallelism in Decision Tree
Induction,” in Proceedings of the Workshop on Parallel and Distributed
Computing for Machine Learning, co-located with ECML/PKDD'2003, Dubrovnik,
September 2003.
SC: 2(2).
[ bib |
pdf ]
|
|
[11]
|
H. Paulino, P. Marques, L. Lopes, V. Vasconcelos, and F. Silva, “A
multi-threaded asynchronous language,” in Proceedings of the 7th
International Conference on Parallel Computing Technologies, PaCT'03, Nizhni
Novgorod, Russia, vol. 2763 of LNCS, pp. 316-323, Springer-Verlag,
August 2003.
ISI:000185994300029; IC: 1.
[ bib |
pdf ]
|
|
[12]
|
H. Paulino, L. Lopes, and F. Silva, “Mob: a scripting language for programming
web agents,” in Proceedings of the 13th Workshop for PhD Students on
Object-Oriented Systems at ECOOP'2003, Darmstadt, Germany., July 2003.
SC: 4(1).
[ bib ]
|
|
[13]
|
H. Paulino, L. Lopes, and F. Silva, “Mob: A Scripting Language for Mobile
Agents based on a Process Calculus,” in Proceedings of the
International Conference on Web Engineering (ICWE'2003), Oviedo, Spain,,
vol. 2722 of LNCS, pp. 40-43, Springer-Verlag, July 2003.
ISI:000185074000006.
[ bib |
pdf ]
|
|
[14]
|
Álvaro Reis Figueira, H. Paulino, L. Lopes, and F. Silva, “Distributed Typed
Concurrent Objects: a Programming Language for Distributed Computations with
Mobile Resources,” in Proceedings of the Simposium Brasileiro de
Linguagens de Programação, May 2003.
[ bib ]
|
|
[15]
|
N. Fonseca, F. Silva, R. Camacho, and V. S. Costa, “Induction with April: a
preliminary report,” tech. rep., DCC-2003-02, DCC - FC & LIACC,
Universidade do Porto, May 2003.
[ bib |
pdf ]
|
|
[16]
|
Álvaro Reis Figueira, H. Paulino, L. Lopes, and F. Silva, “Distributed Typed
Concurrent Objects: a Programming Language for Distributed Computations with
Mobile Resources,” Journal of Universal Computer Science, vol. 9,
no. 8, pp. 745-760, 2003.
ISI:000231431100003.
[ bib |
pdf ]
|
|
[17]
|
J. P. Leal and F. Silva, “Mooshak: a Web-based multi-site programming contest
system,” Software Practice & Experience, vol. 33, no. 6,
pp. 567-581, 2003.
ISI:000182698700004; SC: 3(3).
[ bib |
pdf ]
|
|
[1]
|
N. Amado, J. Gama, and F. Silva, “Parallel Implementation of Decision Tree
Learning Algorithms,” in Proceedings of the 10th Portuguese Conference
on Artificial Intelligence (EPIA'2001), Springer-Verlag, LNAI 2258,
pp. 6-13, December 2001.
[ bib |
pdf ]
|
|
[2]
|
R. Rocha, F. Silva, and V. S. Costa, “On a Tabling Engine that can Exploit
Or-Parallelism,” in Proceedings of the 17th International Conference
on Logic Programming (ICLP 2001), Cyprus, vol. 2237 of LNCS,
pp. 43-58, Springer-Verlag, November 2001.
[ bib |
pdf ]
|
|
[3]
|
V. S. Costa, I. C. Dutra, F. França, M. Pereira, P. Vargas, C. Geyer,
J. Barbosa, C. Costa, P. Lima, F. Dargam, A. Branco, J. M. Filho, G. Gupta,
E. Pontelli, M. Correia, R. Lopes, R. Rocha, and F. Silva, “Towards
Effective Parallel Logic Programming,” in Proceedings of the Projects
Evaluation Workshop ProTeM-CC 2001, International Cooperation NSF/INRIA,
CNPq, Rio de Janeiro, Brazil (N. Prugner, P. Lima, and C. Costa, eds.),
pp. 243-265, October 2001.
[ bib |
pdf ]
|
|
[4]
|
R. Lopes, V. S. Costa, and F. Silva, “A Novel Implementation of the Extended
Andorra Model,” in 3rd International Symposium on Practical Aspects of
Declarative Languages (PADL'2001), Springer-Verlag, LNCS 1990, Las Vegas,
vol. 1990 of LNCS, pp. 199-213, Springer-Verlag, March 2001.
SC: 6(1).
[ bib |
pdf ]
|
|
[5]
|
M. Antunes, F. Silva, and M. E. Correia, “Metawebmin: Administração
centralizada de grupos de sistemas Unix,” in Actas da 4a. Conferência
sobre Redes de Computadores, Tecnologias e Aplicações (CRC'2001), Covilhã,
Novembro 2001.
(Also available as Technical Report DCC-2001-10).
[ bib |
pdf ]
|
|
[6]
|
L. Lopes, V. T. Vasconcelos, and F. Silva, “Fine-Grained Multithreading with
Process Calculi,” IEEE Transactions on Computers, Special Issue on the
Parallel Architectures and Compilation Techniques Conference, vol. 50,
no. 8, pp. 852-862, 2001.
ISIP:000170643500009, (Invited submission subject to further
reviewing; revised version of paper in PACT'00).
[ bib |
pdf ]
|
|
[1]
|
R. Rocha, F. Silva, and V. S. Costa, “A Tabling Engine for the Yap Prolog
System,” in Proceedings of the 2000 APPIA-GULP-PRODE Joint Conference
on Declarative Programming (AGP'00), La Habana, Cuba, December 2000.
[ bib |
pdf ]
|
|
[2]
|
L. Lopes, Álvaro Figueira, F. Silva, and V. T. Vasconcelos, “A Concurrent
Programming Environment with Support for Distributed Computations and Code
Mobility,” in Proceedings of the IEEE International Conference on
Cluster Computing (Cluster'2000), IEEE Press, Saxony, Germany, pp. 297-306,
November 2000.
ISIP:000166002300048; SC: 7(7). Extended version available as
Technical Report DCC-2000-5.
[ bib |
pdf ]
|
|
[3]
|
L. Lopes, F. Silva, and V. T. Vasconcelos, “Fine Grained Multithreading with
Process Calculi,” in Proceedings of the International Conference on
Parallel Architectures and Compilation Techniques (PACT'00), IEEE Press,
Philadelphia, USA, pp. 217-226, October 2000.
ISIP:000165732000021, (Selected as one of the four best
papers).
[ bib |
pdf ]
|
|
[4]
|
R. Rocha, F. Silva, and V. S. Costa, “YapTab: a Tabling Engine Designed to
Support Parallelism,” in Proceedings of the Workshop on Tabulation in
Parsing and Deduction (TAPD'00), Vigo, pp. 77-87, September 2000.
SC: 23(8).
[ bib |
pdf ]
|
|
[5]
|
V. S. Costa, R. Rocha, and F. Silva, “Novel Models for Or-Parallel Logic
Programs: a Performance Analysis,” in Proceedings of EuroPar'2000,
Berlin, pp. 744-753, Springer-Verlag, LNCS 1900, August 2000.
ISI:000189042500102; SC: 5(3).
[ bib |
pdf ]
|
|
[6]
|
R. Lopes, F. Silva, V. S. Costa, and S. Abreu, “The RAINBOW: Towards a
Parallel BEAM,” in Proceedings of the 2000 Workshop on Parallelism and
Implementation Technology for (Constraint) Logic Programming Languages, part
of CL2000, London, pp. 38-54, July 2000.
SC: 5(2).
[ bib |
pdf ]
|
|
[7]
|
L. Lopes, Álvaro Figueira, F. Silva, and V. Vasconcelos, “A Concurrent
Programming Environment with Support for Distributed Computations and Code
Mobility,” tech. rep., DCC-2000-5, DCC - FC & LIACC, Universidade do
Porto, June 2000.
[ bib |
pdf ]
|
|
[8]
|
F. Silva and P. Watson, “Or-Parallel Prolog on a Distributed Memory
Architecture,” Journal of Logic Programming, vol. 43, pp. 173-186,
May 2000.
ISI:000085387000003; IC: 3; SC: 6(5). Extended version available as
Technical Report DCC-97-6.
[ bib |
pdf ]
|
|
[1]
|
H. Paulino, F. Silva, and L. Lopes, “Um Modelo de Programação Paralela
Simples para Arquitecturas Distribuídas de Baixo-Custo,” in
Proceedings of the 11th Symposium on Computer Architecture and High
Performance Computing (SBAC-PAD'99), Natal, Brasil, pp. 121-126, September
1999.
[ bib |
pdf ]
|
|
[2]
|
R. Rocha, F. Silva, and V. S. Costa, “YapOr: an Or-Parallel Prolog System
Based on Environment Copying,” in 9th Portuguese Conference on
Artificial Intelligence (EPIA'99), Évora, Portugal, pp. 178-192,
Springer-Verlag, LNAI 1695, September 1999.
SC: 23(10).
[ bib |
pdf ]
|
|
[3]
|
L. Lopes, F. Silva, and V. T. Vasconcelos, “A Virtual Machine for a Process
Calculus,” in Principles and Practice of Declarative Programming
(PPDP'99), Springer-Verlag, LNCS 1702, Paris, pp. 244-260, September 1999.
ISI:000088219000015; IC: 2; SC: 4(3).
[ bib |
pdf ]
|
|
[4]
|
F. Silva, H. Paulino, and L. Lopes, “Di_pSystem: a parallel Programming
System for Distributed Memory Architectures,” in Recent Advances in
Parallel Virtual Machines and Message Passing Interface (Proceedings of
EuroPVM/MPI'99), Springer-Verlag, LNCS 1697, Barcelona, pp. 525-532,
September 1999.
[ bib |
pdf ]
|
|
[5]
|
L. F. Castro, V. S. Costa, C. Geyer, F. Silva, P. K. Vargas, and M. E. Correia,
“DAOS - Scalable And-Or Parallelism,” in EuroPar'99 Parallel
Processing (Topic 11 Parallel Programming: Models, Methods and Languages),
Springer-Verlag, LNCS 1685, Toulouse, France, pp. 899-908, August/September
1999.
ISI:000165172300114; SC: 8(8).
[ bib |
pdf ]
|
|
[6]
|
L. Lopes, F. Silva, Álvaro Figueira, and V. T. Vasconcelos, “DiTyCO: An
Experiment in Code Mobility from the Realm of Process Calculi,” in
Proceedings of the 1999 Mobile Object Systems Workshop (ECOOP'99), Lisbon,
June 1999.
[ bib |
pdf ]
|
|
[7]
|
L. Lopes, F. Silva, and V. T. Vasconcelos, “Typed Concurrent Objects,” in
ECOOP'99 Workshop-Reader, Springer-Verlag, LNCS, Lisbon, June 1999.
[ bib ]
|
|
[8]
|
Álvaro Figueira, F. Silva, L. Lopes, and V. Vasconcelos, “DiTyCO:
Concorrência e Mobilidade de Código,” in Actas do 1o. Encontro
Português de Computação Móvel, Tomar, pp. 25-35, Novembro 1999.
SC: 16(14). Also available as Technical Report DCC-99-4.
[ bib |
pdf ]
|
|
[9]
|
V. S. Costa, R. Rocha, and F. Silva, “Three Amigos: A Tale of Three Execution
Models for Or-Parallelism,” tech. rep., DCC-99-2, DCC-FC & LIACC,
Universidade do Porto, 1999.
[ bib |
pdf ]
|
|
[10]
|
I. Dutra, M. Carro, V. S. Costa, G. Gupta, E. Pontelli, and F. S. (eds.),
Parallelism and Implementation of (Constraint) Logic Programming.
Nova Science, 1999.
[ bib ]
|
|
[11]
|
R. Rocha, F. Silva, and V. S. Costa, “Or-Parallelism within Tabling,” in
International Workshop on Practical Aspects of Declarative Languages
(PADL'99), San-Antonio, Texas, pp. 137-151, Springer-Verlag, LNCS 1551,
January 1999.
ISI:000085483600010; IC: 2; SC: 13(4).
[ bib |
pdf ]
|
|
[1]
|
L. Lopes, F. Silva, and V. Vasconcelos, “Compiling Process Calculi,” Tech.
Rep. DCC-98-1, DCC-FC & LIACC, Universidade do Porto, March 1998.
[ bib ]
|
|
[2]
|
Álvaro Figueira, F. Silva, L. Lopes, and V. Vasconcelos, “Um Ambiente para
Computações Distribuídas, Concorrência e Mobilidade de Código,” in
Actas da 1a. Conferência sobre Redes de Computadores, Coimbra, pp. 139-142,
Novembro 1998.
[ bib |
pdf ]
|
|
[3]
|
H. Paulino, F. Silva, and L. Lopes, “di_pSystem: Um Ambiente de Programação
Paralela para Arquitecturas de Memória Distribuída,” in Actas da 1a.
Conferência sobre Redes de Computadores, Coimbra, pp. 143-148, Novembro
1998.
[ bib |
pdf ]
|
|
[4]
|
V. Vasconcelos, L. Lopes, and F. Silva, “Distribution and Mobility with
Lexical Scoping in Process Calculi,” Electronic Notes in Theoretical
Computer Science, Elsevier Science, 16, No. 3, (Proceedings of the 3rd
International Workshop on High-Level Concurrent Languages, Uwe Nestmann and
Benjamin Pierce (Eds.), Nice, France, September), 1998.
[ bib |
pdf ]
|
|
[1]
|
R. Rocha, F. Silva, and V. S. Costa, “YapOr: an Or-Parallel Prolog System
based on Environment Copying,” Tech. Rep. DCC-97-14, DCC-FC & LIACC,
Universidade do Porto, December 1997.
[ bib ]
|
|
[2]
|
L. Lopes, F. Silva, and V. Vasconcelos, “A Framework for Compiling Object
Calculi,” Tech. Rep. DCC-97-12, DCC-FC & LIACC, Universidade do Porto,
November 1997.
[ bib ]
|
|
[3]
|
M. E. Correia, F. Silva, and V. S. Costa, “The SBA: Exploiting Orthogonality
in AND-OR Parallel Systems,” in Proceedings of the 1997 International
Logic Programming Symposium (ILPS'97), Port Jefferson, Long Island, NY,
pp. 117-131, The MIT Press, October 1997.
ISIP:A1997BK01F00016; SC: 15(9).
[ bib |
pdf ]
|
|
[4]
|
Inês Dutra, Vítor Santos Costa, Fernando Silva, Enrico Pontelli and Gopal
Gupta, “Proceedings of The Workshop on Parallelism and Implementation
Technology for (Constraint) Logic Programming Systems,” Tech. Rep.
DCC-97-11, DCC-FC & LIACC, Universidade do Porto, October 1997.
[ bib |
pdf ]
|
|
[5]
|
R. Rocha, F. Silva, and V. S. Costa, “On Applying Or-Parallelism to Tabled
Evaluations,” in Proceedings of the International Workshop on Tabling
in Logic Programming, Leuven, pp. 33-45, July 1997.
SC: 8(5). Also available as Technical Report DCC-97-2.
[ bib |
pdf ]
|
|
[6]
|
F. Silva and P. Watson, “Or-Parallel Prolog on a Distributed Memory
Architecture,” Tech. Rep. DCC-97-6, DCC-FC & LIACC, Universidade do Porto,
July 1997.
[ bib ]
|
|
[7]
|
L. Lopes and F. Silva, “Thread- and Process-Based Implementations of the
pSystem Parallel Programming Environment,” Software Practice and
Experience, vol. 27, pp. 329-351, March 1997.
ISI:A1997WN10800006; SC: 3(1).
[ bib |
pdf ]
|
|
[1]
|
V. S. Costa, F. Silva, and I. de Castro Dutra, eds., Parallel Logic
Programming Systems, Technical Report, LIACC,, Proceedings of the
Post-ILPS'95 Workshop on Parallel Logic Programming Systems, Portland,
Oregon, USA, December 1995.
[ bib |
pdf ]
|
|
[2]
|
V. S. Costa, M. E. Correia, and F. Silva, “Sparse Binding Array Approach to
Parallelism in Logic Programs,” in Post-ILPS'95 Workshop on Parallel
Logic Programming Systems, Portland, Oregon, USA, December 1995.
[ bib |
pdf ]
|
|
[3]
|
L. Lopes and F. Silva, “Thread- and Process-Based Implementations of the
pSystem Parallel Programming Environment,” tech. rep., LIACC, November
1995.
[ bib ]
|
|
[4]
|
M. E. Correia, V. S. Costa, and F. Silva, “Using Sparse Binding Arrays for
Or-parallelism,” in 3rd COMPULOG NET Workshop on Parallelism and
Implementation Technology, Utrecht, Holland,, pp. 68-76, September 1995.
[ bib ]
|
|
[5]
|
M. E. Correia, F. Silva, and V. S. Costa, “Aurora vs. Muse: A Performance
Study of Two Or-Parallel Prolog Systems,” Computing Systems
Engineering Journal, Pergamon, vol. 6, no. 4/5, pp. 345-349, 1995.
ISIP:A1995TM9510008.
[ bib |
pdf ]
|
|
[1]
|
V. S. Costa, M. E. Correia, and F. Silva, “Aurora, Andorra-I and Friends on
the Sun,” in Proceedings of the Post-ILPS'94 Workshop on Design and
Implementation of Parallel Logic Programming Systems, Ithaca, NY, USA,
pp. 32-41, November 1994.
[ bib ]
|
|
[2]
|
V. S. Costa, M. E. Correia, and F. Silva, “Aurora and Friends on the Sun
(Extended Abstract),” in 2nd COMPULOG NET Workshop on Parallelism and
Implementation Technologies, Madrid,, September 1994.
[ bib ]
|
|
[3]
|
F. M. A. Silva and L. M. B. Lopes, “A Testbed Environment to Evaluate
Scheduling Algorithms,” in ANAIS do XIV Congresso da Sociedade
Brasileira de Computação (XXI SEMISH), Caxambu, Brasil, pp. 19-32,
August 1994.
[ bib |
pdf ]
|
|
[4]
|
L. M. B. Lopes and F. M. A. Silva, “Scheduling Algorithms Performance with
the pSystem Parallel Programming Environment,” in Proceedings of the
1994 Parallel Architectures and Languages Europe (PARLE'94), Athens, Greece,
pp. 827-830, Springer-Verlag, LNCS 817, July 1994.
[ bib |
pdf ]
|
|
[5]
|
L. B. Lopes and F. M. A. Silva, “Dynamic Scheduling Experiments with a
Thread-based Parallel Programming System,” tech. rep., LIACC, Universidade
do Porto, July 1994.
[ bib ]
|
|
[6]
|
F. M. A. Silva, “Or-Parallelism on Distributed Shared Memory
Architectures,” in Implementations of Logic Programming Systems
(E. Tick and G. Succi, eds.), pp. 203-215, Kluwer Academic Pub., 1994.
ISIP:A1994BB31B00014.
[ bib ]
|
|
[1]
|
F. Silva, “An Or-Parallel Prolog Execution Model for a Distributed Shared
Memory Machine,” in Proceedings of the 6th Portuguese Conference on
Artificial Intelligence, Porto, Portugal, pp. 170-182, LNAI 727,
Springer-Verlag, October 1993.
[ bib |
pdf ]
|
|
[2]
|
M. E. Correia, F. Silva, and V. S. Costa, “Aurora vs. Muse: a Performance
Study of Two Or-Parallel Prolog Systems,” in Proceedings of 1st
International Meeting on Vector and Parallel Processing, Porto, September
1993.
[ bib ]
|
|
[3]
|
F. Silva and L. B. Lopes, “pSystem: a Portable Parallel Programming System
for Shared-Memory Multiprocessor Computers Running UNIX,” in
Proceedings of 1st International Meeting on Vector and Parallel Processing,
Porto, Portugal, September 1993.
[ bib ]
|
|
[4]
|
F. M. A. Silva, An Implementation of Or-Parallel Prolog on a
Distributed Shared Memory Architecture.
PhD thesis, Dept. of Computer Science, Univ. of Manchester, September
1993.
[ bib ]
|
|
[5]
|
F. M. A. Silva, “Initial Performance of Dorpp: an Or-Parallel Prolog System
for a Distributed Shared Memory Architecture,” in Proceedings of the
ICLP'93 Postconference Workshop on Concurrent, Distributed and Parallel
Implementation of Logic Programming Systems, June 1993.
[ bib ]
|
|
[1]
|
F. Silva, “An Or-Parallel Prolog Execution Model for a Distributed Shared
Memory Machine,” in Proceedings of the 6th Portuguese Conference on
Artificial Intelligence, Porto, Portugal, pp. 170-182, LNAI 727,
Springer-Verlag, October 1993.
[ bib |
pdf ]
|
|
[2]
|
M. E. Correia, F. Silva, and V. S. Costa, “Aurora vs. Muse: a Performance
Study of Two Or-Parallel Prolog Systems,” in Proceedings of 1st
International Meeting on Vector and Parallel Processing, Porto, September
1993.
[ bib ]
|
|
[3]
|
F. Silva and L. B. Lopes, “pSystem: a Portable Parallel Programming System
for Shared-Memory Multiprocessor Computers Running UNIX,” in
Proceedings of 1st International Meeting on Vector and Parallel Processing,
Porto, Portugal, September 1993.
[ bib ]
|
|
[4]
|
F. M. A. Silva, An Implementation of Or-Parallel Prolog on a
Distributed Shared Memory Architecture.
PhD thesis, Dept. of Computer Science, Univ. of Manchester, September
1993.
[ bib ]
|
|
[5]
|
F. M. A. Silva, “Initial Performance of Dorpp: an Or-Parallel Prolog System
for a Distributed Shared Memory Architecture,” in Proceedings of the
ICLP'93 Postconference Workshop on Concurrent, Distributed and Parallel
Implementation of Logic Programming Systems, June 1993.
[ bib ]
|
|
[1]
|
F. Silva, “An Or-Parallel Prolog Execution Model for a Distributed Shared
Memory Machine,” in Proceedings of the 6th Portuguese Conference on
Artificial Intelligence, Porto, Portugal, pp. 170-182, LNAI 727,
Springer-Verlag, October 1993.
[ bib |
pdf ]
|
|
[2]
|
M. E. Correia, F. Silva, and V. S. Costa, “Aurora vs. Muse: a Performance
Study of Two Or-Parallel Prolog Systems,” in Proceedings of 1st
International Meeting on Vector and Parallel Processing, Porto, September
1993.
[ bib ]
|
|
[3]
|
F. Silva and L. B. Lopes, “pSystem: a Portable Parallel Programming System
for Shared-Memory Multiprocessor Computers Running UNIX,” in
Proceedings of 1st International Meeting on Vector and Parallel Processing,
Porto, Portugal, September 1993.
[ bib ]
|
|
[4]
|
F. M. A. Silva, An Implementation of Or-Parallel Prolog on a
Distributed Shared Memory Architecture.
PhD thesis, Dept. of Computer Science, Univ. of Manchester, September
1993.
[ bib ]
|
|
[5]
|
F. M. A. Silva, “Initial Performance of Dorpp: an Or-Parallel Prolog System
for a Distributed Shared Memory Architecture,” in Proceedings of the
ICLP'93 Postconference Workshop on Concurrent, Distributed and Parallel
Implementation of Logic Programming Systems, June 1993.
[ bib ]
|
|
[1]
|
F. Silva, “An Or-Parallel Prolog Execution Model for a Distributed Shared
Memory Machine,” in Proceedings of the 6th Portuguese Conference on
Artificial Intelligence, Porto, Portugal, pp. 170-182, LNAI 727,
Springer-Verlag, October 1993.
[ bib |
pdf ]
|
|
[2]
|
M. E. Correia, F. Silva, and V. S. Costa, “Aurora vs. Muse: a Performance
Study of Two Or-Parallel Prolog Systems,” in Proceedings of 1st
International Meeting on Vector and Parallel Processing, Porto, September
1993.
[ bib ]
|
|
[3]
|
F. Silva and L. B. Lopes, “pSystem: a Portable Parallel Programming System
for Shared-Memory Multiprocessor Computers Running UNIX,” in
Proceedings of 1st International Meeting on Vector and Parallel Processing,
Porto, Portugal, September 1993.
[ bib ]
|
|
[4]
|
F. M. A. Silva, An Implementation of Or-Parallel Prolog on a
Distributed Shared Memory Architecture.
PhD thesis, Dept. of Computer Science, Univ. of Manchester, September
1993.
[ bib ]
|
|
[5]
|
F. M. A. Silva, “Initial Performance of Dorpp: an Or-Parallel Prolog System
for a Distributed Shared Memory Architecture,” in Proceedings of the
ICLP'93 Postconference Workshop on Concurrent, Distributed and Parallel
Implementation of Logic Programming Systems, June 1993.
[ bib ]
|
