Parallel evaluation of interaction nets with MPINE
Main Author: | |
---|---|
Publication Date: | 2001 |
Language: | eng |
Source: | Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) |
Download full: | http://hdl.handle.net/1822/773 |
Summary: | 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. |
id |
RCAP_9c03a5d0bc9c9bdc3445c7f5b98b5b65 |
---|---|
oai_identifier_str |
oai:repositorium.sdum.uminho.pt:1822/773 |
network_acronym_str |
RCAP |
network_name_str |
Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) |
repository_id_str |
https://opendoar.ac.uk/repository/7160 |
spelling |
Parallel evaluation of interaction nets with MPINEInteraction netsMulti-threaded evaluatorsWe 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.Fundação para a Ciência e a Tecnologia – PRAXIS XXI - BD/11261/97.SpringerUniversidade do MinhoPinto, Jorge Sousa20012001-01-01T00:00:00Zconference paperinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/1822/773engMIDDELDORP, Aart, ed. lit. - Rewriting Techniques and Applications : proceedings of the International Conference, 12, Utrecht, 2001. Berlin [etc.] : Springer, c.2001. p. 353-356.35404211730302-9743info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-05-11T07:03:02Zoai:repositorium.sdum.uminho.pt:1822/773Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T16:13:45.002305Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse |
dc.title.none.fl_str_mv |
Parallel evaluation of interaction nets with MPINE |
title |
Parallel evaluation of interaction nets with MPINE |
spellingShingle |
Parallel evaluation of interaction nets with MPINE Pinto, Jorge Sousa Interaction nets Multi-threaded evaluators |
title_short |
Parallel evaluation of interaction nets with MPINE |
title_full |
Parallel evaluation of interaction nets with MPINE |
title_fullStr |
Parallel evaluation of interaction nets with MPINE |
title_full_unstemmed |
Parallel evaluation of interaction nets with MPINE |
title_sort |
Parallel evaluation of interaction nets with MPINE |
author |
Pinto, Jorge Sousa |
author_facet |
Pinto, Jorge Sousa |
author_role |
author |
dc.contributor.none.fl_str_mv |
Universidade do Minho |
dc.contributor.author.fl_str_mv |
Pinto, Jorge Sousa |
dc.subject.por.fl_str_mv |
Interaction nets Multi-threaded evaluators |
topic |
Interaction nets Multi-threaded evaluators |
description |
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. |
publishDate |
2001 |
dc.date.none.fl_str_mv |
2001 2001-01-01T00:00:00Z |
dc.type.driver.fl_str_mv |
conference paper |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/1822/773 |
url |
http://hdl.handle.net/1822/773 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
MIDDELDORP, Aart, ed. lit. - Rewriting Techniques and Applications : proceedings of the International Conference, 12, Utrecht, 2001. Berlin [etc.] : Springer, c.2001. p. 353-356. 3540421173 0302-9743 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Springer |
publisher.none.fl_str_mv |
Springer |
dc.source.none.fl_str_mv |
reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia instacron:RCAAP |
instname_str |
FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) |
collection |
Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) |
repository.name.fl_str_mv |
Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia |
repository.mail.fl_str_mv |
info@rcaap.pt |
_version_ |
1833595818133684224 |