DERIVATION OF MICROCODE BY SYMBOLIC EXECUTION.

被引：0
|
作者：
Ulrich, John Wade
机构：
来源：
MICRO: Annual Microprogramming Workshop | 1980年
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computer architecture
引用
收藏
页码：38 / 34
相关论文
共 50 条
  • [21] PROGRAMMING TECHNIQUES SPEED IEEE-488 SYSTEM EXECUTION.
    Tilden, Mark D.
    EDN, 1983, 28 (22) : 295 - 308
  • [22] Blood crimes and scenes of execution. Essay on the Romantic aesthetics of violence
    Lazzarin, S
    STUDI FRANCESI, 2000, 44 (01) : 175 - 176
  • [23] Quantum symbolic execution
    Nan, Jiang
    Zichen, Wang
    Jian, Wang
    QUANTUM INFORMATION PROCESSING, 2023, 22 (10)
  • [24] Relational Symbolic Execution
    Farina, Gian Pietro
    Chong, Stephen
    Gaboardi, Marco
    PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), 2019,
  • [25] Symbolic Execution with CEGAR
    Beyer, Dirk
    Lemberger, Thomas
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 195 - 211
  • [26] Certified Symbolic Execution
    Qiu, Rui
    Pasareanu, Corina S.
    Khurshid, Sarfraz
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2016, 2016, 9938 : 495 - 511
  • [27] Chopped Symbolic Execution
    Trabish, David
    Mattavelli, Andrea
    Rinetzky, Noam
    Cadar, Cristian
    PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, : 350 - 360
  • [28] Quantum symbolic execution
    Jiang Nan
    Wang Zichen
    Wang Jian
    Quantum Information Processing, 22
  • [29] Directed Symbolic Execution
    Kin-Keung Ma
    Khoo Yit Phang
    Foster, Jeffrey S.
    Hicks, Michael
    STATIC ANALYSIS, 2011, 6887 : 95 - 111
  • [30] Symbolic Router Execution
    Zhang, Peng
    Wang, Dan
    Gember-Jacobson, Aaron
    SIGCOMM '22: PROCEEDINGS OF THE 2022 ACM SIGCOMM 2022 CONFERENCE, 2022, : 336 - 349
12345