{"id":"https://openalex.org/W2506766523","doi":"https://doi.org/10.1145/2851613.2851719","title":"A GPU-based implementation for the gamma multiset rewriting paradigm","display_name":"A GPU-based implementation for the gamma multiset rewriting paradigm","publication_year":2016,"publication_date":"2016-04-04","ids":{"openalex":"https://openalex.org/W2506766523","doi":"https://doi.org/10.1145/2851613.2851719","mag":"2506766523"},"language":"en","primary_location":{"id":"doi:10.1145/2851613.2851719","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2851613.2851719","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053253223","display_name":"Rubens H. P. de Almeida","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Rubens H. P. de Almeida","raw_affiliation_strings":["Brazilian Navy Research Institute (IPqM), Rio de Janeiro, RJ - Brazil"],"affiliations":[{"raw_affiliation_string":"Brazilian Navy Research Institute (IPqM), Rio de Janeiro, RJ - Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086812158","display_name":"Rui R. Mello","orcid":"https://orcid.org/0000-0002-1437-7912"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rui R. Mello","raw_affiliation_strings":["Brazilian Navy Research Institute (IPqM), Rio de Janeiro, RJ - Brazil"],"affiliations":[{"raw_affiliation_string":"Brazilian Navy Research Institute (IPqM), Rio de Janeiro, RJ - Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087769954","display_name":"Gabriel Paillard","orcid":"https://orcid.org/0000-0003-3608-2637"},"institutions":[{"id":"https://openalex.org/I243754102","display_name":"Universidade Federal do Cear\u00e1","ror":"https://ror.org/03srtnf24","country_code":"BR","type":"education","lineage":["https://openalex.org/I243754102"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Gabriel A. L. Paillard","raw_affiliation_strings":["Federal University of Cear\u00e1, Fortaleza, CE - Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Cear\u00e1, Fortaleza, CE - Brazil","institution_ids":["https://openalex.org/I243754102"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033447808","display_name":"Felipe M. G. Fran\u00e7a","orcid":"https://orcid.org/0000-0002-8980-6208"},"institutions":[{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Felipe M. G. Fran\u00e7a","raw_affiliation_strings":["Federal University of Rio de Janeiro, Rio de Janeiro, RJ - Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Rio de Janeiro, Rio de Janeiro, RJ - Brazil","institution_ids":["https://openalex.org/I122140584"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5053253223"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8338,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.7590213,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1225","last_page":"1230"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9866999983787537,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9764000177383423,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8755640983581543},{"id":"https://openalex.org/keywords/multiset","display_name":"Multiset","score":0.7223011255264282},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6620283126831055},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6374620199203491},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5648770928382874},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.4855634868144989},{"id":"https://openalex.org/keywords/graphics","display_name":"Graphics","score":0.45324885845184326},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39622971415519714},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10859039425849915}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8755640983581543},{"id":"https://openalex.org/C2779623528","wikidata":"https://www.wikidata.org/wiki/Q864377","display_name":"Multiset","level":2,"score":0.7223011255264282},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6620283126831055},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6374620199203491},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5648770928382874},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.4855634868144989},{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.45324885845184326},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39622971415519714},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10859039425849915},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2851613.2851719","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2851613.2851719","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W2038114744","https://openalex.org/W2113140432","https://openalex.org/W2954324727","https://openalex.org/W4301261693"],"related_works":["https://openalex.org/W4300455649","https://openalex.org/W2296588302","https://openalex.org/W4328119206","https://openalex.org/W2033245919","https://openalex.org/W4252409532","https://openalex.org/W4299818930","https://openalex.org/W2467059325","https://openalex.org/W263998227","https://openalex.org/W2963664616","https://openalex.org/W2385071651"],"abstract_inverted_index":{"This":[0],"work":[1],"presents":[2],"a":[3,22,30,115,132],"GPU-based":[4],"implementation":[5,49,86,108],"of":[6,77,87,97,123],"the":[7,14,40,43,47,54,63,88,101,121,124,137],"Gamma":[8,18,59,89,98,134],"multiset":[9],"rewriting":[10],"paradigm.":[11],"Inspired":[12],"by":[13,58,140],"chemical":[15],"reaction":[16],"metaphor,":[17],"was":[19],"conceived":[20],"as":[21],"highlevel":[23],"abstract":[24],"language":[25,90],"for":[26],"programs":[27,99],"specification":[28],"in":[29,74,114],"very":[31],"simple,":[32],"concise,":[33],"and":[34,46,84,103],"naturally":[35,61],"parallel":[36,75,85],"way,":[37],"making":[38],"clearer":[39],"distinction":[41],"between":[42],"problem":[44],"itself":[45],"underlying":[48],"issues.":[50],"We":[51,79],"believe":[52],"that":[53],"computational":[55],"model":[56],"adopted":[57],"matches":[60],"with":[62],"Graphics":[64],"Processing":[65],"Units":[66],"execution":[67,96],"mode,":[68],"once":[69],"both":[70],"concepts":[71],"consist":[72],"basically":[73],"processing":[76],"data.":[78],"extended":[80],"an":[81],"earlier":[82],"distributed":[83],"called":[91,105],"Gamma-Base,":[92],"adding":[93],"support":[94],"to":[95,131],"over":[100],"GPUs,":[102],"we":[104],"this":[106],"new":[107,125],"Gamma-GPU.":[109],"Practical":[110],"experiments":[111],"were":[112],"conducted":[113],"GPU":[116],"cluster,":[117],"which":[118],"showed":[119],"us":[120],"correctness":[122],"implementation,":[126,135],"besides":[127],"good":[128],"speedups":[129],"comparing":[130],"sequential":[133],"proving":[136],"contributions":[138],"introduced":[139],"our":[141],"work.":[142]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}