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]
No reviews for this publication, yet.