Parallel evaluation of interaction nets with MPINE
| dc.contributor.author | Pinto, Jorge Sousa | |
| dc.date.accessioned | 2005-01-04T17:22:45Z | |
| dc.date.available | 2005-01-04T17:22:45Z | |
| dc.date.issued | 2001 | |
| dc.description.abstract | 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. | eng |
| dc.description.sponsorship | Fundação para a Ciência e a Tecnologia – PRAXIS XXI - BD/11261/97. | por |
| dc.distribution | international | eng |
| dc.identifier.citation | MIDDELDORP, Aart, ed. lit. - Rewriting Techniques and Applications : proceedings of the International Conference, 12, Utrecht, 2001. Berlin [etc.] : Springer, c.2001. p. 353-356. | eng |
| dc.identifier.isbn | 3540421173 | por |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.uri | https://hdl.handle.net/1822/773 | |
| dc.language.iso | eng | |
| dc.peerreviewed | yes | eng |
| dc.publisher | Springer | eng |
| dc.rights | openAccess | eng |
| dc.subject | Interaction nets | eng |
| dc.subject | Multi-threaded evaluators | eng |
| dc.title | Parallel evaluation of interaction nets with MPINE | eng |
| dc.type | conferencePaper | eng |
| dspace.entity.type | Publication | en |
| oaire.citationEndPage | 356 | por |
| oaire.citationStartPage | 353 | por |
| oaire.citationVolume | 2051 LNCS | por |
| sdum.journal | Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | por |
Ficheiros
Pacote original
1 - 1 de 1