Publicações

Evaluating High-Level Program Invariants Using Reconfigurable Hardware

AuthID
P-00T-KCF

Author(s)

Park, J

Diniz, PC

Tipo de Documento

Proceedings Paper

Year published

2014

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 8405 LNCS, Páginas: 121-132

Conference

10Th International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications, Arc 2014, Date: 14 April 2014 through 16 April 2014, Location: Vilamoura

Indexing