DERIVATION OF MICROCODE BY SYMBOLIC EXECUTION.

被引：0
|
作者：
Ulrich, John Wade
机构：
来源：
MICRO: Annual Microprogramming Workshop | 1980年
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computer architecture
引用
收藏
页码：38 / 34
相关论文
共 50 条
  • [31] Postconditioned Symbolic Execution
    Yi, Qiuping
    Yang, Zijiang
    Guo, Shengjian
    Wang, Chao
    Liu, Jian
    Zhao, Chen
    2015 IEEE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2015,
  • [32] SYMBOLIC EXECUTION AND TESTING
    COWARD, PD
    INFORMATION AND SOFTWARE TECHNOLOGY, 1991, 33 (01) : 53 - 64
  • [33] Symbolic execution with abstraction
    Anand S.
    Pǎsǎreanu C.S.
    Visser W.
    International Journal on Software Tools for Technology Transfer, 2009, 11 (01) : 53 - 67
  • [34] Advances in Symbolic Execution
    Yang, Guowei
    Filieri, Antonio
    Borges, Mateus
    Clun, Donato
    Wen, Junye
    ADVANCES IN COMPUTERS, VOL 113, 2019, 113 : 225 - 287
  • [35] The councilors of fulfilled mandate and the budgetary execution. The case of the Cuenca Carbonifera
    Oyarzun Vera, Marcos Gumercindo
    Mamani Huanca, Sabina
    Magdalena Balderrama, Maria
    Soledad Noriega, Cintia
    Anabel Molina, Florencia
    Beatriz Cerezo, Claudia
    Evangelina Elguero, Lourdes
    Ariel Alvarado, Carlos
    Alejandro Barrios, Eduardo
    Martin Rios, Daniel
    Ricardo Castellon, Hector
    Alejandro Barros, Jose
    Javier Cabezas, Ramiro
    INFORMES CIENTIFICOS Y TECNICOS, 2023, 15 (01): : 68 - 77
  • [36] SLEEP DEPRIVATION EFFECTS ON ACCURACY AND SPEED OF RESPONSE SELECTION AND EXECUTION.
    Buck, Leslie
    National Research Council of Canada, Quarterly Bulletin of the Division of Mechanical Engineering, 1973, : 1 - 12
  • [37] The influence of histamine on the gastric secretion in rabbits following lengthy execution.
    Strombeck, JP
    SKANDINAVISCHES ARCHIV FUR PHYSIOLOGIE, 1933, 65 : 92 - 96
  • [38] CONSTRUCTION OF THE SEIKAN UNDERSEA TUNNEL - I. GENERAL SCHEME OF EXECUTION.
    Maru, Yoshimitsu
    Maeda, Takashi
    1986, 1 (3-4): : 357 - 371
  • [39] Symbolic PathFinder: Symbolic execution of Java bytecode
    NASA Ames Research Center, Moffett Field, CA 94035, United States
    ASE - Proc. IEEE/ACM Int. Conf. Autom. Softw. Eng., (179-180):
  • [40] The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more
    Martin Hentschel
    Richard Bubel
    Reiner Hähnle
    International Journal on Software Tools for Technology Transfer, 2019, 21 : 485 - 513
12345