( en | de | ru )

 

Disambiguation of "Thijssen, Sven"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Flow-Based Computing Systems Using Bounded Model Checking.

, , , , and . ICCAD, page 1-9. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Theo Thijssen

Stephan Thijssen

Bram Thijssen

Oskar Svenson

Axel Svensson

 

Other publications of authors with the same name

Verification of Flow-Based Computing Systems Using Bounded Model Checking., , , , and . ICCAD, page 1-9. IEEE, (2023)STREAM: Towards READ-based In-Memory Computing for Streaming based Data Processing., , , , and . ASP-DAC, page 690-695. IEEE, (2022)FLOW-3D: Flow-Based Computing on 3D Nanoscale Crossbars with Minimal Semiperimeter., , and . ASP-DAC, page 775-780. ACM, (2023)Accelerating AI Applications using Analog In-Memory Computing: Challenges and Opportunities., , , and . ACM Great Lakes Symposium on VLSI, page 379-384. ACM, (2021)Execution Sequence Optimization for Processing In-Memory using Parallel Data Preparation., , , , and . DAC, page 33:1-33:6. ACM, (2024)Equivalence Checking for Flow-Based Computing., , and . ICCD, page 656-663. IEEE, (2022)Path-Based Processing using In-Memory Systolic Arrays for Accelerating Data-Intensive Applications., , , , and . ICCAD, page 1-9. IEEE, (2023)READ-based In-Memory Computing using Sentential Decision Diagrams., , , and . ASPDAC, page 818-823. IEEE, (2024)Automated Synthesis for In-Memory Computing., , , and . ICCAD, page 1-9. IEEE, (2023)Synthesis of Compact Flow-based Computing Circuits from Boolean Expressions., , , and . DAC, page 30:1-30:6. ACM, (2024)