STRAPS - A SOFTWARE TRANSPORT-SYSTEM FOR LOW-LEVEL SOFTWARE

被引：1
|
作者：
FAIRFIELD, P [1 ]
机构：
[1] UNIV LIVERPOOL,LIVERPOOL L69 3BX,ENGLAND
来源：
JOURNAL OF SYSTEMS AND SOFTWARE | 1985年 / 5卷 / 04期
关键词：
D O I：
10.1016/0164-1212(85)90028-7
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：291 / 302
页数：12
相关论文
共 50 条
  • [21] INSTRUMENTATION AND SOFTWARE FOR LOW-LEVEL LIQUID SCINTILLATION-COUNTING RADIOCARBON DATING
    GUAN, SY
    XIE, YM
    RADIOCARBON, 1992, 34 (03) : 374 - 380
  • [22] HIGH-LEVEL DESIGN LANGUAGE DEVELOPS LOW-LEVEL MICROPROCESSOR-INDEPENDENT SOFTWARE
    WECKER, DB
    KRUTZ, RL
    TUMA, DT
    COMPUTER DESIGN, 1979, 18 (06): : 140 - &
  • [23] Investigating the Impact of High-Level Software Design on Low-Level Hardware Fault Resilience
    Zhang, Bohan
    Yang, Lishan
    Li, Guanpeng
    Xu, Hui
    2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOLUME, DSN-S, 2023, : 163 - 167
  • [24] Low-level transpacific transport
    Holzer, Mark
    Hall, Timothy M.
    JOURNAL OF GEOPHYSICAL RESEARCH-ATMOSPHERES, 2007, 112 (D9)
  • [25] A Computational Model for SAT-based Verification of Hardware-Dependent Low-Level Embedded System Software
    Schmidt, Bernard
    Villarraga, Carlos
    Bormann, Joerg
    Stoffel, Dominik
    Wedler, Markus
    Kunz, Wolfgang
    2013 18TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2013, : 711 - 716
  • [26] Evaluating low-level software-based hardening techniques for configurable GPU architectures
    Marcio M. Goncalves
    Josie E. Rodriguez Condia
    Matteo Sonza Reorda
    Luca Sterpone
    Jose Rodrigo Azambuja
    The Journal of Supercomputing, 2022, 78 : 8081 - 8105
  • [27] A framework for embedded software portability and verification: from formal models to low-level code
    Renata Martins Gomes
    Bernhard Aichernig
    Marcel Baunach
    Software and Systems Modeling, 2024, 23 : 289 - 315
  • [28] An extensible software router data-path for dynamic low-level service deployment
    Houidi, Ines
    Louati, Wajdi
    Zeghlache, Djamal
    HPSR: 2006 WORKSHOP ON HIGH PERFORMANCE SWITCHING AND ROUTING, 2006, : 161 - +
  • [29] Evaluating low-level software-based hardening techniques for configurable GPU architectures
    Goncalves, Marcio M.
    Condia, Josie E. Rodriguez
    Reorda, Matteo Sonza
    Sterpone, Luca
    Azambuja, Jose Rodrigo
    JOURNAL OF SUPERCOMPUTING, 2022, 78 (06): : 8081 - 8105
  • [30] A framework for embedded software portability and verification: from formal models to low-level code
    Gomes, Renata Martins
    Aichernig, Bernhard
    Baunach, Marcel
    SOFTWARE AND SYSTEMS MODELING, 2024, 23 (02): : 289 - 315
12345