Pedro Diniz

Evaluating High-level Program Invariants using Reconfigurable Hardware

TitleEvaluating High-level Program Invariants using Reconfigurable Hardware
Publication TypeConference Paper
Year of Publication2014
AuthorsJ. Park, and P. C. Diniz
Conference NameProc. of the Intl. Symp. on Applied Reconfigurable Computing (ARC'14)
Date PublishedApr.
Groups: