Browsing by Subject Boolean satisfiability
Showing results 1 to 2 of 2
Publication Date | Title | Author(s) |
---|---|---|
2014 | FPGA Acceleration of Decision-Based Problems using Heterogeneous Computing | Thong, Jason |
2020 | Hardware Assertions for Mitigating Single-Event Upsets in FPGAs | Dumitrescu, Stefan |
Showing results 1 to 2 of 2