From post

Optimizing Performance and Energy Overheads Due to Fanout in In-Memory Computing Systems.

, , и . VLSI-SoC (Selected Papers), том 561 из IFIP Advances in Information and Communication Technology, стр. 147-166. Springer, (2018)

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.

 

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

nfer - A Notation and System for Inferring Event Stream Abstractions., , и . RV, том 10012 из Lecture Notes in Computer Science, стр. 235-250. Springer, (2016)On Feasibility of Decision Trees for Edge Intelligence in Highly Constrained Internet-of-Things (IoT)., , и . ACM Great Lakes Symposium on VLSI, стр. 217-218. ACM, (2023)Range Based Hardware Optimization of Multilayer Perceptrons with RELUs., , и . iSES, стр. 421-426. IEEE, (2022)Verifying Multi-threaded C Programs with SPIN., и . SPIN, том 5156 из Lecture Notes in Computer Science, стр. 325-342. Springer, (2008)Simulated Annealing Based Area Optimization of Multilayer Perceptron Hardware for IoT Edge Devices., , и . IFIPIoT (1), том 683 из IFIP Advances in Information and Communication Technology, стр. 34-47. Springer, (2023)New Challenges in Model Checking., , и . 25 Years of Model Checking, том 5000 из Lecture Notes in Computer Science, стр. 65-76. Springer, (2008)Modeling with Scala., и . ISoLA (1), том 11244 из Lecture Notes in Computer Science, стр. 184-205. Springer, (2018)Automated Testing of Planning Models., , , , и . MoChArt, том 5348 из Lecture Notes in Computer Science, стр. 90-105. Springer, (2008)Denali: A Goal-directed Superoptimizer., , и . PLDI, стр. 304-314. ACM, (2002)Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3., , , , , , , , , и 2 other автор(ы). SOSP, стр. 836-850. ACM, (2021)