AN APPROACH TO CONCURRENT CONTROL FLOW CHECKING

被引：56
|
作者：
YAU, SS
CHEN, FC
机构：
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1980年 / 6卷 / 02期
关键词：
D O I：
10.1109/TSE.1980.234478
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：126 / 137
页数：12
相关论文
共 50 条
  • [21] A Multivariate Approach for Checking Resiliency in Access Control
    Crampton, Jason
    Gutin, Gregory
    Watrigant, Remi
    ALGORITHMIC ASPECTS IN INFORMATION AND MANAGEMENT, 2016, 9778 : 173 - 184
  • [22] Seis. A program control flow graph encoding algorithm for control flow checking
    Majzik, I.
    Technical Report: Ser. Electrical Engineering, 1994, (EE14): : 1 - 66
  • [23] A partial-order approach to the verification of concurrent systems: Checking liveness properties
    Bolignano, D
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1995, 987 : 278 - 292
  • [24] Control-flow checking via regular expressions
    Benso, A
    Di Carlo, S
    Di Natale, G
    Prinetto, P
    Tagliaferri, L
    10TH ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2001, : 299 - 303
  • [25] Control Flow Checking and Recovering based on 8051 Architecture
    Gong Rui
    Chen Wei
    Liu Fang
    Dai Kui
    Wang Zhiying
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 1550 - 1551
  • [26] CONTROLLABLE SELF-CHECKING CHECKERS FOR CONDITIONAL CONCURRENT CHECKING
    TARNICK, S
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1995, 14 (05) : 547 - 553
  • [27] Control-Flow Checking Using Branch Instructions
    Jafari-Nodoushan, Mostafa
    Miremadi, Seyed Ghassem
    Ejlali, Afireza
    EUC 2008: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING, VOL 1, MAIN CONFERENCE, 2008, : 66 - 72
  • [28] Concepts for autonomous control flow checking for embedded CPUs
    Ziener, Daniel
    Teich, Juergen
    AUTONOMIC AND TRUSTED COMPUTING, PROCEEDINGS, 2008, 5060 : 234 - 248
  • [29] Control flow checking algorithm based on virtual register
    School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, China
    Yuhang Xuebao, 2007, 1 (183-187): : 183 - 187
  • [30] Dynamic Control Flow Checking Technique for Reliable Microprocessors
    Sugihara, Makoto
    13TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN: ARCHITECTURES, METHODS AND TOOLS, 2010, : 232 - 239
12345