SOFTWARE-VALIDATION .1. CONTROL-FLOW AND DATA-FLOW ANALYSIS

被引：2
|
作者：
CARRE, BA
机构：
来源：
MICROPROCESSORS AND MICROSYSTEMS | 1980年 / 4卷 / 10期
关键词：
D O I：
10.1016/0141-9331(80)90214-8
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：395 / 406
页数：12
相关论文
共 50 条
  • [41] Load control mechanism for data-flow machines
    Takesue, Masaru
    [J]. Systems and Computers in Japan, 1988, 19 (10) : 55 - 69
  • [42] Control-Flow Residual Analysis for Symbolic Automata
    Azzopardi, Shaun
    Colombo, Christian
    Pace, Gordon J.
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (254): : 29 - 43
  • [43] Fine-Grained Control-Flow Integrity for Kernel Software
    Ge, Xinyang
    Talele, Nirupama
    Payer, Mathias
    Jaeger, Trent
    [J]. 1ST IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, 2016, : 179 - 194
  • [44] Low-cost Software Control-Flow Error Recovery
    Nazarian, Ghazaleh
    Nane, Razvan
    Gaydadjiev, Georgi N.
    [J]. 2015 EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2015, : 510 - 517
  • [45] PARALLELISM CONTROL SCHEME IN A DATA-FLOW ARCHITECTURE
    KUSAKABE, S
    HOSHIDE, T
    TANIGUCHI, R
    AMAMIYA, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 634 : 743 - 748
  • [46] A data-flow oriented software architecture for heterogeneous marine data streams
    Lima, Keila
    Nguyen, Ngoc-Thanh
    Heldal, Rogardt
    ICristensen, Lars Michael
    Oyetoyan, Tosin Daniel
    Pelliccione, Patrizio
    Knauss, Eric
    [J]. IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE, ICSA 2024, 2024, : 146 - 157
  • [47] Trace-Based Control-Flow Analysis
    Montagu, Benoit
    Jensen, Thomas
    [J]. PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21), 2021, : 482 - 496
  • [48] DATA-FLOW ARCHITECTURES
    CULLER, A
    CULLER, DE
    [J]. ANNUAL REVIEW OF COMPUTER SCIENCE, 1986, 1 : 225 - 253
  • [49] DATA-FLOW ARCHITECTURE
    LERNER, EJ
    [J]. IEEE SPECTRUM, 1984, 21 (04) : 57 - 62
  • [50] DATA-FLOW AT MIT
    DETTMER, R
    [J]. ELECTRONICS AND POWER, 1986, 32 (08): : 570 - 571
12345