GRAPH-BASED DESIGN SPECIFICATION OF PARALLEL COMPUTATION

被引：0
|
作者：
IIZAWA, A
KUNII, TL
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 163卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：132 / 160
页数：29
相关论文
共 50 条
  • [1] GRAPH-BASED DESIGN SPECIFICATION OF PARALLEL COMPUTATION.
    Iizawa, Atsushi
    Kunii, Tosiyasu L.
    [J]. Lecture Notes in Computer Science, 1984, : 132 - 160
  • [2] GRAPH GRAMMAR BASED SPECIFICATION OF INTERCONNECTION STRUCTURES FOR MASSIVELY PARALLEL COMPUTATION
    BAILEY, DA
    CUNY, JE
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 291 : 73 - 85
  • [3] Design of a Parallel Graph-Based Protein Sequence Clustering Algorithm
    Assayony, Mohammed Omer Haj
    Rashid, Nur'Aini Abdul
    [J]. INTERNATIONAL SYMPOSIUM OF INFORMATION TECHNOLOGY 2008, VOLS 1-4, PROCEEDINGS: COGNITIVE INFORMATICS: BRIDGING NATURAL AND ARTIFICIAL KNOWLEDGE, 2008, : 2029 - 2036
  • [4] Graph-based specification of access control policies
    Koch, M
    Mancini, LV
    Parisi-Presicce, F
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2005, 71 (01) : 1 - 33
  • [5] Graph-based algorithms for parallel processes
    Yordanova, S
    [J]. 16TH ANNUAL INTERNATIONAL SYMPOSIUM ON HIGH PERFORMANCE COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2002, : 114 - 115
  • [6] Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
    Grossi, Giuliano
    Marchi, Massimo
    Pontelli, Enrico
    Provetti, Alessandro
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (04) : 697 - 715
  • [7] Simulation-Based Hardware Verification with a Graph-Based Specification
    Lv, Zhao
    Chen, Shuming
    Wang, Yaohua
    [J]. MATHEMATICAL PROBLEMS IN ENGINEERING, 2018, 2018
  • [8] Specification and Verification of Graph-Based Model Transformation Properties
    Selim, Gehan M. K.
    Lucio, Levi
    Cordy, James R.
    Dingel, Juergen
    Oakes, Bentley J.
    [J]. GRAPH TRANSFORMATION, 2014, 8571 : 113 - 129
  • [9] Graph-Based Specification of Admin-CBAC Policies
    Bertolissi, Clara
    Fernandez, Maribel
    Thuraisingham, Bhavani
    [J]. PROCEEDINGS OF THE ELEVENTH ACM CONFERENCE ON DATA AND APPLICATION SECURITY AND PRIVACY (CODASPY '21), 2021, : 173 - 184
  • [10] Graph-Based Specification and Automated Construction of ILP Problems
    Ehmes, Sebastian
    Kratz, Maximilian
    Schuerr, Andy
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (374): : 3 - 22
12345