Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jun 13, 2022
- Source ID
- 10.1109/aicas54282.2022.9869979
Entities
People
- Rickard Ewetz
- Sumit Kumar Jha
- Suraj Singireddy
Organizations
- National Science Foundation
- Office of Naval Research
- University of Central Florida
- University of Texas at San Antonio