Joonseok Park, Pedro C. Diniz. Evaluating High-Level Program Invariants Using Reconfigurable Hardware. In Diana Goehringer, Marco Domenico Santambrogio, João M. P. Cardoso, Koen Bertels, editors, Reconfigurable Computing: Architectures, Tools, and Applications - 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings. Volume 8405 of Lecture Notes in Computer Science, pages 121-132, Springer, 2014. [doi]
@inproceedings{ParkD14,
title = {Evaluating High-Level Program Invariants Using Reconfigurable Hardware},
author = {Joonseok Park and Pedro C. Diniz},
year = {2014},
doi = {10.1007/978-3-319-05960-0_11},
url = {http://dx.doi.org/10.1007/978-3-319-05960-0_11},
researchr = {https://researchr.org/publication/ParkD14},
cites = {0},
citedby = {0},
pages = {121-132},
booktitle = {Reconfigurable Computing: Architectures, Tools, and Applications - 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings},
editor = {Diana Goehringer and Marco Domenico Santambrogio and João M. P. Cardoso and Koen Bertels},
volume = {8405},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-05959-4},
}