( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Runtime-Programmable Pipelines for Model Checkers on FPGAs.

, , , и . FPL, стр. 51-58. IEEE, (2019)

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.

Miyeon Cho

Photooxygenierung in Mikroemulsionen und mit dualen Photokatalysatoren. Uni Köln, (2009)

Seongdon Cho

Myunghun Cho

Soon Cho

Yongsun Cho

 

Другие публикации лиц с тем же именем

Waverunner: An Elegant Approach to Hardware Acceleration of State Machine Replication., , , , , и . NSDI, стр. 357-374. USENIX Association, (2023)Swarm model checking on the GPU., , , и . Int. J. Softw. Tools Technol. Transf., 22 (5): 583-599 (2020)Flick: Fast and Lightweight ISA-Crossing Call for Heterogeneous-ISA Environments., , , , и . ISCA, стр. 187-198. IEEE, (2020)FPGASwarm: High Throughput Model Checking on FPGAs., , и . FPL, стр. 435-442. IEEE Computer Society, (2018)A Full-System VM-HDL Co-Simulation Framework for Servers with PCIe-Connected FPGAs., , , , и . FPGA, стр. 87-96. ACM, (2018)Runtime-Programmable Pipelines for Model Checkers on FPGAs., , , и . FPL, стр. 51-58. IEEE, (2019)Practical Model Checking on FPGAs., , , и . ACM Trans. Reconfigurable Technol. Syst., 14 (2): 8:1-8:18 (2021)Swarm Model Checking on the GPU., , , и . SPIN, том 11636 из Lecture Notes in Computer Science, стр. 94-113. Springer, (2019)Taming the Killer Microsecond., , , , и . MICRO, стр. 627-640. IEEE Computer Society, (2018)