DERIVATION OF MICROCODE BY SYMBOLIC EXECUTION.

被引：0

作者：

Ulrich, John Wade

机构：

来源：

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Computer architecture

引用

页码：38 / 34

共 50 条

[1] WILD-BRANCH AVOIDANCE DURING MICROCODE EXECUTION.
Shih, A.
IBM technical disclosure bulletin, 1983, 26 (05): : 2519 - 2520
[2] PROGRAM TESTING USING SYMBOLIC EXECUTION.
Borzov, Yu.V.
Programming and Computer Software (English Translation of Programmirovanie), 1980, 6 (01): : 39 - 45
[3] The geography of execution.
Evans, D
PROGRESS IN HUMAN GEOGRAPHY, 1999, 23 (01) : 143 - 144
[4] Notes on an Execution.
Pucci, Michael
LIBRARY JOURNAL, 2021, 146 (12) : 66 - 68
[5] A perfect execution.
Fitzpatrick, P
SOCIAL & LEGAL STUDIES, 1998, 7 (03) : 431 - 436
[6] Symbolic execution for the derivation of meaningful properties of hybrid systems
Ciarlini, AEM
Frühwirth, T
LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 606 - 606
[7] The antitrust enterprise: Principle and execution.
Lambert, Thomas A.
TEXAS LAW REVIEW, 2006, 85 (01) : 153 - 198
[8] War in Iraq: Planning and Execution.
Ender, Morten
INTERNATIONAL SOCIOLOGY, 2010, 25 (05) : 736 - 739
[9] IMPROVED VISUALISATION OF SOFTWARE EXECUTION.
Ableidinger, Bruce
Electronic Product Design, 1986, 7 (08): : 45 - 47
[10] SYNTHESIS OF OPERATING UNITS FOR PARALLEL PROGRAM EXECUTION.
Ekmanis, E.E.
Kalnin'sh, Ya.Ya.
1600, (16):