A FORMAL DEFINITION FOR SYSTOLIC SYSTEMS

被引:0
|
作者
DEBAER, D
PAREDAENS, J
机构
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:97 / 104
页数:8
相关论文
共 50 条
  • [31] Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
    Rabanal, Pablo
    Rodriguez, Ismael
    Rubio, Fernando
    FORMAL ASPECTS OF COMPUTING, 2013, 25 (05) : 743 - 768
  • [32] ON A FORMAL DEFINITION AND APPLICATION OF DIMENSIONAL DESIGN
    BERTRANSALVANS, M
    SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (11): : 1029 - 1045
  • [33] A FORMAL DEFINITION OF BINARY TOPOLOGICAL RELATIONSHIPS
    EGENHOFER, MJ
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 367 : 457 - 472
  • [34] Notes on providing a formal definition of equivalence
    Martino, Gabrielle
    ANTHROPOLOGICAL THEORY, 2010, 10 (1-2) : 143 - 148
  • [35] LEARN: An alternative formal semantics definition
    Karakitsos, G
    Berki, E
    Georgiadou, E
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 871 - 876
  • [36] Formal definition and construction of nominative signature
    Liu, Dennis Y. W.
    Wong, Duncan S.
    Huang, Xinyi
    Wang, Guilin
    Huang, Qiong
    Mu, Yi
    Susilo, Willy
    INFORMATION AND COMMUNICATIONS SECURITY, PROCEEDINGS, 2007, 4681 : 57 - +
  • [37] DOES ATLAS NEED A FORMAL DEFINITION
    GAUTHIER, RL
    HART, DC
    IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS, 1976, 12 (02) : 304 - 304
  • [38] A FORMAL DEFINITION OF R-OPERATION
    STEPANOV, BM
    DOKLADY AKADEMII NAUK SSSR, 1961, 137 (04): : 818 - &
  • [39] Formal Definition of Interpretability and Explainability in XAI
    Dib, Lynda
    INTELLIGENT SYSTEMS AND APPLICATIONS, VOL 3, INTELLISYS 2024, 2024, 1067 : 133 - 151
  • [40] NOTES TOWARD A FORMAL DEFINITION OF STRATEGY
    BEST, JB
    PSYCHOLOGICAL REPORTS, 1984, 54 (02) : 513 - 514