Certifying compilation and run-time code generation

被引：0
|
作者：
Hornof, Luke [1 ]
Jim, Trevor [1 ]
机构：
[1] Comp. and Info. Science Department, University of Pennsylvania, Philadelphia, PA 19104, United States
来源：
Higher-Order and Symbolic Computation | 1999年 / 12卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：337 / 375
相关论文
共 50 条
  • [21] Demo Abstract: Run-time Compilation of Bytecode in Wireless Sensor Networks
    Ellul, Joshua
    Martinez, Kirk
    PROCEEDINGS OF THE 9TH ACM/IEEE INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS, 2010, : 422 - 423
  • [22] AUTOMATIC GENERATION OF RUN-TIME PARAMETERIZABLE CONFIGURATIONS
    Bruneel, Karel
    Stroobandt, Dirk
    2008 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE AND LOGIC APPLICATIONS, VOLS 1 AND 2, 2008, : 360 - 365
  • [23] GENERATION OF PARTIAL FPGA CONFIGURATIONS AT RUN-TIME
    Silva, Miguel L.
    Ferreira, Joao Canas
    2008 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE AND LOGIC APPLICATIONS, VOLS 1 AND 2, 2008, : 366 - +
  • [24] Optimizing marshalling by run-time program generation
    Aktemur, B
    Jones, J
    Kamin, S
    Clausen, L
    GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS, 2005, 3676 : 221 - 236
  • [25] Run-time generation of partial FPGA configurations
    Silva, Miguel L.
    Ferreira, Joao Canas
    JOURNAL OF SYSTEMS ARCHITECTURE, 2012, 58 (01) : 24 - 37
  • [26] MCARTA: A Malicious Code Automated Run-Time Analysis Framework
    Nolan, Richard A.
    Chen, Peter P.
    2012 IEEE INTERNATIONAL CONFERENCE ON TECHNOLOGIES FOR HOMELAND SECURITY, 2012, : 13 - 17
  • [27] Run-time Generation of Partial Configurations for Arithmetic Expressions
    Silva, Miguel L.
    Ferreira, Joao Canas
    53RD IEEE INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, 2010, : 117 - 120
  • [28] A Certifying Code Generation Phase
    Blech, Jan Olaf
    Poetzsch-Heffter, Arnd
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 190 (04) : 65 - 82
  • [29] Towards Automatic Code Generation of Run-Time Power Management for Embedded Systems using Formal Methods
    Fathabadi, Asieh Salehi
    Maeda-Nunez, Luis Alfonso
    Butler, Michael J.
    Al-Hashimi, Bashir M.
    Merrett, Geoff V.
    2015 IEEE 9TH INTERNATIONAL SYMPOSIUM ON EMBEDDED MULTICORE/MANYCORE SYSTEMS-ON-CHIP (MCSOC), 2015, : 104 - 111
  • [30] Auto source code generation and run-time infrastructure and environment for high performance, distributed computing systems
    Patel, MI
    Jordan, K
    Clark, M
    Bhatt, D
    PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 816 - 822
12345