A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. Alimguzhin, V., Mari, F., Melatti, I., Salvo, I., & Tronci, E. In Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pages 43--60, 2013. Paper doi bibtex @inproceedings{DBLP:conf/spin/AlimguzhinMMST13,
author = {Vadim Alimguzhin and
Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci},
title = {A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
pages = {43--60},
year = {2013},
crossref = {DBLP:conf/spin/2013},
url = {http://dx.doi.org/10.1007/978-3-642-39176-7_4},
doi = {10.1007/978-3-642-39176-7_4},
timestamp = {Sat, 01 Jun 2013 19:15:29 +0200},
biburl = {http://dblp.dagstuhl.de/rec/bib/conf/spin/AlimguzhinMMST13},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
Downloads: 0
{"_id":"68QDLD637jxFtspT2","bibbaseid":"alimguzhin-mari-melatti-salvo-tronci-amapreduceparallelapproachtoautomaticsynthesisofcontrolsoftware-2013","downloads":0,"creationDate":"2016-10-14T09:18:19.779Z","title":"A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software","author_short":["Alimguzhin, V.","Mari, F.","Melatti, I.","Salvo, I.","Tronci, E."],"year":2013,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/a/Alimguzhin:Vadim","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vadim"],"propositions":[],"lastnames":["Alimguzhin"],"suffixes":[]},{"firstnames":["Federico"],"propositions":[],"lastnames":["Mari"],"suffixes":[]},{"firstnames":["Igor"],"propositions":[],"lastnames":["Melatti"],"suffixes":[]},{"firstnames":["Ivano"],"propositions":[],"lastnames":["Salvo"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Tronci"],"suffixes":[]}],"title":"A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software","booktitle":"Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings","pages":"43--60","year":"2013","crossref":"DBLP:conf/spin/2013","url":"http://dx.doi.org/10.1007/978-3-642-39176-7_4","doi":"10.1007/978-3-642-39176-7_4","timestamp":"Sat, 01 Jun 2013 19:15:29 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/spin/AlimguzhinMMST13","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/spin/AlimguzhinMMST13,\n author = {Vadim Alimguzhin and\n Federico Mari and\n Igor Melatti and\n Ivano Salvo and\n Enrico Tronci},\n title = {A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software},\n booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,\n Stony Brook, NY, USA, July 8-9, 2013. Proceedings},\n pages = {43--60},\n year = {2013},\n crossref = {DBLP:conf/spin/2013},\n url = {http://dx.doi.org/10.1007/978-3-642-39176-7_4},\n doi = {10.1007/978-3-642-39176-7_4},\n timestamp = {Sat, 01 Jun 2013 19:15:29 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/spin/AlimguzhinMMST13},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Alimguzhin, V.","Mari, F.","Melatti, I.","Salvo, I.","Tronci, E."],"key":"DBLP:conf/spin/AlimguzhinMMST13","id":"DBLP:conf/spin/AlimguzhinMMST13","bibbaseid":"alimguzhin-mari-melatti-salvo-tronci-amapreduceparallelapproachtoautomaticsynthesisofcontrolsoftware-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-39176-7_4"},"downloads":0},"search_terms":["map","reduce","parallel","approach","automatic","synthesis","control","software","alimguzhin","mari","melatti","salvo","tronci"],"keywords":["automatic synthesis; classical control; control software; controlled system; inverted pendulum; linear hybrid systems; microcontroller devices; sequential algorithm","control systems; controllers; dc-dc converters; linear systems; model checking; parallel algorithms; parallel architectures; pendulums","computer control"],"authorIDs":[],"dataSources":["uohnbDNqgoR48D8fi"]}