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 条
  • [1] Definition of a parallel execution model with abstract state machines
    Németh, Zsolt
    Acta Cybernetica, 2002, 15 (03): : 417 - 455
  • [2] Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines
    Del Castillo, Giuseppe
    RIGOROUS STATE-BASED METHODS, ABZ 2024, 2024, 14759 : 215 - 222
  • [3] Abstract state machines capture parallel algorithms
    Blass, Andreas
    Gurevich, Yuri
    ACM Transactions on Computational Logic, 2003, 4 (03) : 578 - 651
  • [4] Integration of Symbolic Execution into a Formal Abstract State Machines based Language
    Paun, Vladimir-Alexandru
    Monsuez, Bruno
    Baufreton, Philippe
    IFAC PAPERSONLINE, 2017, 50 (01): : 11251 - 11256
  • [5] Abstract parallel machines
    O'Donnell, J
    Rünger, G
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 2000, 19 (02): : 105 - 129
  • [6] THE AND OR PARALLEL PROLOG MACHINE APIM - EXECUTION MODEL AND ABSTRACT DESIGN
    VLAHAVAS, I
    KEFALAS, P
    JOURNAL OF PROGRAMMING LANGUAGES, 1993, 1 (04): : 245 - 261
  • [7] A Logic for Non-deterministic Parallel Abstract State Machines
    Ferrarotti, Flavio
    Schewe, Klaus-Dieter
    Tec, Loredana
    Wang, Qing
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), 2016, 9616 : 334 - 354
  • [8] Abstract state machines capture parallel algorithms: Correction and extension
    Blass, Andreas
    Gurevich, Yuri
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008, 9 (03)
  • [9] Abstract and-parallel machines
    Lindenstrauss, N
    Dershowitz, N
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 2000, 19 (05): : 475 - 493
  • [10] BSP abstract state machines capture bulk synchronous parallel computations
    Ferrarotti, Flavio
    Gonzalez, Senen
    Schewe, Klaus-Dieter
    SCIENCE OF COMPUTER PROGRAMMING, 2019, 184
12345