A FORMAL DEFINITION FOR SYSTOLIC SYSTEMS

被引：0
|
作者：
DEBAER, D
PAREDAENS, J
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 269卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：97 / 104
页数：8
相关论文
共 50 条
  • [21] FORMAL DEFINITION OF BASIC LANGUAGE
    LEE, JAN
    COMPUTER JOURNAL, 1972, 15 (01): : 37 - &
  • [22] EXECUTING THE FORMAL DEFINITION OF ADA
    FANTECHI, A
    GNESI, S
    LEGGIO, F
    TALINI, P
    SIGPLAN NOTICES, 1991, 26 (03): : 25 - 34
  • [23] A Formal Definition of Simulation Validity
    Albert, Vincent
    Nketsa, Alexandre
    EUROPEAN SIMULATION AND MODELLING CONFERENCE 2009, 2009, : 43 - 48
  • [24] Towards a formal definition of methods
    Naveen Prakash
    Requirements Engineering, 1997, 2 (1) : 23 - 50
  • [25] A formal definition of FRSM and applications
    Liu, SY
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1998, 8 (02) : 253 - 281
  • [26] THE FORMAL DEFINITION OF REFERENCE PRIORS
    Berger, James O.
    Bernardo, Jose M.
    Sun, Dongchu
    ANNALS OF STATISTICS, 2009, 37 (02): : 905 - 938
  • [27] FORMAL ARITHMETIC AND THE DEFINITION OF NUMBER
    ANELLIS, IH
    JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (04) : 1233 - 1234
  • [28] A FORMAL DEFINITION OF PRIORITY IN CSP
    FIDGE, CJ
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (04): : 681 - 705
  • [29] A Scenario-Centric Approach for the Definition of the Formal Test Specifications of Reactive Systems
    Entin, Vladimir
    Siegl, Sebastian
    Meyer-Wegener, Klaus
    Kern, Andreas
    Reichel, Michael
    2009 TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE-PRACTICE AND RESEARCH TECHNIQUES, TAIC PART 2009, 2009, : 179 - +
  • [30] FORMAL DEFINITION OF ALGOL-60 USING LINKED FOREST MANIPULATION SYSTEMS
    TORRES, CZD
    ACTA CIENTIFICA VENEZOLANA, 1973, 24 : 13 - 13
12345