共 50 条
- [31] Sound Transpilation from Binary to Machine-Independent Code FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, 2017, 10623 : 197 - 214
- [32] MACHINE-INDEPENDENT PROGRAMMING WITH CAD-SUPPORTED SOFTWARE WERKSTATTSTECHNIK ZEITSCHRIFT FUR INDUSTRIELLE FERTIGUNG, 1990, 80 (05): : 259 - 261
- [33] MACHINE-INDEPENDENT COMPUTER-PROGRAMMING - HALSTEAD,MH DATA PROCESSING, 1962, 4 (08): : 60 - 60
- [35] MACHINE-INDEPENDENT MICROPROGRAM ADDRESS ALLOCATION THROUGH HIERARCHICAL STRUCTURING MICROPROCESSING AND MICROPROGRAMMING, 1987, 19 (04): : 291 - 304
- [36] EASYMAP - MACHINE-INDEPENDENT LINE PRINTER STATISTICAL MAPPING SYSTEM AMERICAN STATISTICIAN, 1979, 33 (04): : 223 - 224
- [39] Complete and tractable machine-independent characterizations of second-order polytime FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), 2022, 13242 : 368 - 388
- [40] MACHINE-INDEPENDENT IMAGE-PROCESSING - PERFORMANCE OF APPLY ON DIVERSE ARCHITECTURES COMPUTER VISION GRAPHICS AND IMAGE PROCESSING, 1989, 48 (02): : 265 - 276