Definition of a parallel execution model with abstract state machines

被引：0
|
作者：
Németh, Zsolt [1 ]
机构：
[1] MTA SZTAKI Comp. Autom. Res. Inst., Hungarian Academy of Sciences, P.O. Box 63, Budapest H-1518, Hungary
来源：
| 2002年 / University of Szeged卷 / 15期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Languages, architectures and execution models are strongly related. A new architectural platform makes necessary to modify the execution model in order to exploit all the advantages of the underlying architecture while preserving its main characteristics. The latter issue requires a careful analysis of the design process. Abstract State Machines offer a powerful method for aiding complex system design. In this paper some aspects of its application are presented by taking the redesign process of a parallel Prolog model as an example.
引用
收藏
相关论文
共 50 条
  • [41] A Guarded Fragment for Abstract State Machines
    Antje Nowack
    Journal of Logic, Language and Information, 2005, 14 (3) : 345 - 368
  • [42] Abstract State Machines and the Inquiry Process
    Huggins, James K.
    Wallace, Charles
    FIELDS OF LOGIC AND COMPUTATION: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 70TH BIRTHDAY, 2010, 6300 : 405 - +
  • [43] DETERMINING ORDER OF EXECUTION OF INDEPENDENT OPERATIONS ON PARALLEL MACHINES
    ZAK, YA
    ENGINEERING CYBERNETICS, 1969, (02): : 12 - &
  • [44] Execution of compute-intensive applications into parallel machines
    Houstis, C
    Kapidakis, S
    Markatos, EP
    Gelenbe, E
    INFORMATION SCIENCES, 1997, 97 (1-2) : 83 - 124
  • [45] TRANSFORMING RECURSIVE-PROGRAMS FOR EXECUTION ON PARALLEL MACHINES
    BUSH, VJ
    GURD, JR
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 201 : 350 - 367
  • [46] Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics
    Patil, Sandeep
    Dubinin, Victor
    Vyatkin, Valeriy
    DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, SETTA 2015, 2015, 9409 : 300 - 315
  • [47] AN ABSTRACT MACHINE FOR RESTRICTED AND-PARALLEL EXECUTION OF LOGIC PROGRAMS
    HERMENEGILDO, MV
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 25 - 39
  • [48] A parallel execution model for Chronolog
    Liu, CC
    Orgun, MA
    Zhang, K
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2001, 16 (04): : 215 - 228
  • [49] A model for Entropy of Parallel Execution
    Gomez, Ernesto
    Schubert, Keith E.
    Cai, Ritchie
    2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2016, : 555 - 560
  • [50] Replicated state machines without replicated execution
    Lee, Jonathan
    Nikitin, Kirill
    Setty, Srinath
    2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), 2020, : 119 - 134
12345