%0 Conference Paper %1 conf/cases/NassarKE15 %A Nassar, Ahmed %A Kurdahi, Fadi J. %A Elsharkasy, Wael M. %B CASES %D 2015 %E Iyer, Ravi %E Garg, Siddharth %I IEEE %K dblp %P 137-146 %T NUVA: Architectural support for runtime verification of parametric specifications over multicores. %U http://dblp.uni-trier.de/db/conf/cases/cases2015.html#NassarKE15 %@ 978-1-4673-8320-2

@inproceedings{conf/cases/NassarKE15, added-at = {2024-02-21T00:00:00.000+0100}, author = {Nassar, Ahmed and Kurdahi, Fadi J. and Elsharkasy, Wael M.}, biburl = {https://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 = {2024-04-10T12:04:16.000+0200}, 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 }