Advanced Boolean techniques = select...
International Workshop on Boolean Problems (2022 :)

FindBook      Google Book      Amazon      博客來     
  • Advanced Boolean techniques = selected papers from the 15th International Workshop on Boolean Problems /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Advanced Boolean techniques/ edited by Rolf Drechsler, Sebastian Huhn.
    其他題名: selected papers from the 15th International Workshop on Boolean Problems /
    其他作者: Drechsler, Rolf.
    團體作者: International Workshop on Boolean Problems
    出版者: Cham :Springer International Publishing : : 2023.,
    面頁冊數: 1 online resource (viii, 172 p.) :ill., digital ;24 cm.
    內容註: Chapter 1. Arithmetic Satisfiability-Modulo-Theory Solving Applied to Non-Standard Analysis Problems of Cyber-Physical Systems -- Chapter 2. Fast AIG-based Approximate Logic Synthesis -- Chapter 3. External Don't Cares in Logic Synthesis -- Chapter 4. Maiorana-McFarland Boolean Bent Functions Characterized by their Reed-Muller Spectra -- Chapter 5. Towards System-level Assertions for Heterogeneous Systems -- Chapter 6. SAT-based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms -- Chapter 7. Autosymmetric and D-reducible Functions: Theory and Application to Security -- Chapter 8. Two-operands modular multiplication to small bit-ranges -- Chapter 9. Low Latency Real-Time Inference for Multilayer Perceptrons on FPGAs -- Chapter 10. Thirty-six Officers of Euler - New Insights Computed Using XBOOLE -- Chapter 11. Start Small but Dream Big: On Choosing a Static Variable Order for Multiplier BDDs.
    Contained By: Springer Nature eBook
    標題: Algebra, Boolean - Congresses. -
    電子資源: https://doi.org/10.1007/978-3-031-28916-3
    ISBN: 9783031289163
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入