A FORMAL DESCRIPTION OF THE IC MODEL OF PARALLEL COMPUTATION

被引：0
|
作者：
GOPINATH, B
SINGH, AK
UPPALURU, P
机构：
[1] UNIV CALIF SANTA BARBARA, DEPT COMP SCI, SANTA BARBARA, CA 93106 USA
[2] FLUENT MACHINES, FRAMINGHAM, MA 01701 USA
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 497卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Formal semantics for a new model for parallel computation called IC* is defined. This model differs widely from existing parallel models and is suitable for describing hardware and communication protocols with real time properties. Its interesting features are the absence of interleaving assumptions and a high-level predicate-based specification and programming language. In this paper, the semantics of IC* is given by first describing the basic idea of a behavior and later building on this definition to obtain three increasingly complex models of computation. Finally, the IC* model is compared with some existing formalisms.
引用
收藏
页码：520 / 531
页数：12
相关论文
共 50 条
  • [1] A Formal Model For Real-Time Parallel Computation
    Hui, Peter
    Chikkagoudar, Satish
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (105): : 39 - 55
  • [2] THE IC-STAR MODEL OF PARALLEL COMPUTATION AND PROGRAMMING ENVIRONMENT
    CAMERON, EJ
    COHEN, DM
    GOPINATH, B
    KEESE, WM
    NESS, L
    UPPALURU, P
    VOLLARO, JR
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (03) : 317 - 326
  • [3] PARALLEL COMPUTATION MODEL FOR PARALLEL PROLOG
    BLASKO, R
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 590 : 290 - 302
  • [4] A FORMAL MODEL OF COMPUTATION IN PRODUCTION SYSTEMS
    YAKHNO, TM
    [J]. SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1988, 26 (05): : 15 - 18
  • [5] Towards a formal model of computation for RMAS
    Pirani, Massimiliano
    Bonci, Andrea
    Longhi, Sauro
    [J]. 3RD INTERNATIONAL CONFERENCE ON INDUSTRY 4.0 AND SMART MANUFACTURING, 2022, 200 : 865 - 877
  • [6] CADL - A FORMAL DESCRIPTION LANGUAGE FOR PARALLEL COMPUTER ARCHITECTURES
    EICHENSEHER, I
    UNGERER, T
    ZEHENDNER, E
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 363 - 370
  • [7] A BRIDGING MODEL FOR PARALLEL COMPUTATION
    VALIANT, LG
    [J]. COMMUNICATIONS OF THE ACM, 1990, 33 (08) : 103 - 111
  • [8] THE SECTION MODEL OF PARALLEL COMPUTATION
    BUZA, MK
    ZIMYANIN, LF
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1990, 16 (04) : 161 - 167
  • [9] On the CLUMPS model of parallel computation
    Campbell, DKG
    [J]. INFORMATION PROCESSING LETTERS, 1998, 66 (05) : 231 - 236
  • [10] Parallel computation techniques for dynamic description logics reasoning
    Wang, Zhuxiao
    Hu, Hong
    Chen, Limin
    Shi, Zhongzhi
    [J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2011, 48 (12): : 2317 - 2325
12345