Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/773| Título: | Parallel evaluation of interaction nets with MPINE |
| Autor(es): | Pinto, Jorge Sousa |
| Palavras-chave: | Interaction nets Multi-threaded evaluators |
| Data: | 2001 |
| Editora: | Springer |
| Revista: | Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Citação: | MIDDELDORP, Aart, ed. lit. - Rewriting Techniques and Applications : proceedings of the International Conference, 12, Utrecht, 2001. Berlin [etc.] : Springer, c.2001. p. 353-356. |
| Resumo(s): | We describe the MPINE tool, a multi-threaded evaluator for Interaction Nets. The evaluator is an implementation of the present author's Machine for Interaction Nets and uses POSIX threads to achieve concurrent execution. When running on a multi-processor machine (say an SMP architecture), parallel execution is achieved effortlessly, allowing for desktop parallelism on commonly available machines. |
| Tipo: | Artigo em ata de conferência |
| URI: | https://hdl.handle.net/1822/773 |
| ISBN: | 3540421173 |
| ISSN: | 0302-9743 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: | DI/CCTC - Artigos (papers) |
