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 条
  • [31] Quo Vadis Abstract State Machines?
    Boerger, Egon
    Prinz, Andreas
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (12) : 1921 - 1928
  • [32] Unified Syntax for Abstract State Machines
    Arcaini, Paolo
    Bonfanti, Silvia
    Dausend, Marcel
    Gargantini, Angelo
    Mashkoor, Atif
    Raschke, Alexander
    Riccobene, Elvinia
    Scandurra, Patrizia
    Stegmaier, Michael
    ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z (ABZ 2016), 2016, 9675 : 231 - 236
  • [33] Abstract state machines and program optimization
    Sofonea, Gabriel
    Cristescu, Marian-Pompiliu
    WSEAS Transactions on Information Science and Applications, 2007, 4 (01): : 128 - 132
  • [34] Concurrent Reflective Abstract State Machines
    Schewe, Klaus-Dieter
    2017 19TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2017), 2017, : 30 - 35
  • [35] A security logic for abstract state machines
    Nanchen, S
    Stärk, RF
    ABSTRACT STATE MACHINES 2004: ADVANCES IN THEORY AND PRACTICE, PROCEEDINGS, 2004, 3052 : 169 - 185
  • [36] The Abstract State Machines method -: Preface
    Borger, Egon
    Slissenko, Anatol
    FUNDAMENTA INFORMATICAE, 2007, 77 (1-2) : V - VIII
  • [37] Quantum computing and abstract state machines
    Grädel, E
    Nowack, A
    ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTICE, PROCEEDINGS, 2003, 2589 : 309 - 323
  • [38] Ambient Abstract State Machines with applications
    Boerger, Egon
    Cisternino, Antonio
    Gervasi, Vincenzo
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2012, 78 (03) : 939 - 959
  • [39] The computable kernel of Abstract State Machines
    Reisig, W.
    THEORETICAL COMPUTER SCIENCE, 2008, 409 (01) : 126 - 136
  • [40] Abstract state machines: An overview of the project
    Gurevich, Y
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2004, 2942 : 6 - 13
12345