Evaluating High-Level Program Invariants Using Reconfigurable Hardware

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]

Authors

Joonseok Park

This author has not been identified. Look up 'Joonseok Park' in Google

Pedro C. Diniz

This author has not been identified. Look up 'Pedro C. Diniz' in Google