Parallel evaluation of interaction nets with MPINE

Bibliographic Details
Main Author: Pinto, Jorge Sousa
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

Similar Items