NUVA: Architectural support for runtime verification of parametric specifications over multicores. Nassar, A., Kurdahi, F. J., & Elsharkasy, W. M. In Iyer, R. & Garg, S., editors, CASES, pages 137-146, 2015. IEEE. Link Paper bibtex @inproceedings{conf/cases/NassarKE15,
added-at = {2016-01-05T00:00:00.000+0100},
author = {Nassar, Ahmed and Kurdahi, Fadi J. and Elsharkasy, Wael M.},
biburl = {http://www.bibsonomy.org/bibtex/287c64d2a98891fcc2c614150d96b4fe4/dblp},
booktitle = {CASES},
crossref = {conf/cases/2015},
editor = {Iyer, Ravi and Garg, Siddharth},
ee = {http://dl.acm.org/citation.cfm?id=2830707},
interhash = {37b74f060fccecf102f1e6cf85f8ce02},
intrahash = {87c64d2a98891fcc2c614150d96b4fe4},
isbn = {978-1-4673-8320-2},
keywords = {dblp},
pages = {137-146},
publisher = {IEEE},
timestamp = {2016-01-06T11:43:59.000+0100},
title = {NUVA: Architectural support for runtime verification of parametric specifications over multicores.},
url = {http://dblp.uni-trier.de/db/conf/cases/cases2015.html#NassarKE15},
year = 2015
}
Downloads: 0
{"_id":"jCxmsaRiAonciGX7z","bibbaseid":"nassar-kurdahi-elsharkasy-nuvaarchitecturalsupportforruntimeverificationofparametricspecificationsovermulticores-2015","downloads":0,"creationDate":"2016-01-08T22:33:13.317Z","title":"NUVA: Architectural support for runtime verification of parametric specifications over multicores.","author_short":["Nassar, A.","Kurdahi, F. J.","Elsharkasy, W. M."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/\"ahmed shamsul arefin\"?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-01-05T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Nassar"],"firstnames":["Ahmed"],"suffixes":[]},{"propositions":[],"lastnames":["Kurdahi"],"firstnames":["Fadi","J."],"suffixes":[]},{"propositions":[],"lastnames":["Elsharkasy"],"firstnames":["Wael","M."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/287c64d2a98891fcc2c614150d96b4fe4/dblp","booktitle":"CASES","crossref":"conf/cases/2015","editor":[{"propositions":[],"lastnames":["Iyer"],"firstnames":["Ravi"],"suffixes":[]},{"propositions":[],"lastnames":["Garg"],"firstnames":["Siddharth"],"suffixes":[]}],"ee":"http://dl.acm.org/citation.cfm?id=2830707","interhash":"37b74f060fccecf102f1e6cf85f8ce02","intrahash":"87c64d2a98891fcc2c614150d96b4fe4","isbn":"978-1-4673-8320-2","keywords":"dblp","pages":"137-146","publisher":"IEEE","timestamp":"2016-01-06T11:43:59.000+0100","title":"NUVA: Architectural support for runtime verification of parametric specifications over multicores.","url":"http://dblp.uni-trier.de/db/conf/cases/cases2015.html#NassarKE15","year":"2015","bibtex":"@inproceedings{conf/cases/NassarKE15,\n added-at = {2016-01-05T00:00:00.000+0100},\n author = {Nassar, Ahmed and Kurdahi, Fadi J. and Elsharkasy, Wael M.},\n biburl = {http://www.bibsonomy.org/bibtex/287c64d2a98891fcc2c614150d96b4fe4/dblp},\n booktitle = {CASES},\n crossref = {conf/cases/2015},\n editor = {Iyer, Ravi and Garg, Siddharth},\n ee = {http://dl.acm.org/citation.cfm?id=2830707},\n interhash = {37b74f060fccecf102f1e6cf85f8ce02},\n intrahash = {87c64d2a98891fcc2c614150d96b4fe4},\n isbn = {978-1-4673-8320-2},\n keywords = {dblp},\n pages = {137-146},\n publisher = {IEEE},\n timestamp = {2016-01-06T11:43:59.000+0100},\n title = {NUVA: Architectural support for runtime verification of parametric specifications over multicores.},\n url = {http://dblp.uni-trier.de/db/conf/cases/cases2015.html#NassarKE15},\n year = 2015\n}\n\n","author_short":["Nassar, A.","Kurdahi, F. J.","Elsharkasy, W. M."],"editor_short":["Iyer, R.","Garg, S."],"key":"conf/cases/NassarKE15","id":"conf/cases/NassarKE15","bibbaseid":"nassar-kurdahi-elsharkasy-nuvaarchitecturalsupportforruntimeverificationofparametricspecificationsovermulticores-2015","role":"author","urls":{"Link":"http://dl.acm.org/citation.cfm?id=2830707","Paper":"http://dblp.uni-trier.de/db/conf/cases/cases2015.html#NassarKE15"},"keyword":["dblp"],"downloads":0},"search_terms":["nuva","architectural","support","runtime","verification","parametric","specifications","over","multicores","nassar","kurdahi","elsharkasy"],"keywords":["dblp"],"authorIDs":[],"dataSources":["XA98H7MrAfSrDfP6g"]}