Parallel dynamic semantics of sequential programs with speculative and incremental computation

被引：0
|
作者：
Godlevskii, AB
机构：
来源：
CYBERNETICS AND SYSTEMS ANALYSIS | 1996年 / 32卷 / 02期
关键词：
D O I：
10.1007/BF02366540
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：265 / 280
页数：16
相关论文
共 50 条
  • [1] ON THE INCREMENTAL COMPUTATION OF SEMANTICS IN DYNAMIC ARGUMENTATION
    Alfano, Gianvincenzo
    Greco, Sergio
    Parisi, Francesco
    Simari, Gerardo, I
    Simari, Guillermo R.
    [J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (06): : 1749 - 1792
  • [2] On the incremental computation of semantics in dynamic argumentation
    Alfano, Gianvincenzo
    Greco, Sergio
    Parisi, Francesco
    Simari, Gerardo I.
    Simari, Guillermo R.
    [J]. Journal of Applied Logics, 2021, 8 (06): : 1749 - 1792
  • [3] OPTIMIZING INCREMENTAL COMPUTATION OF DATALOG PROGRAMS WITH NONDETERMINISTIC SEMANTICS
    FABRET, F
    REGNIER, M
    SIMON, E
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 646 : 155 - 170
  • [4] Speculative Execution of Parallel Programs with Precise Exception Semantics on GPUs
    Hayashi, Akihiro
    Grossman, Max
    Zhao, Jisheng
    Shirako, Jun
    Sarkar, Vivek
    [J]. LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, LCPC 2013, 2014, 8664 : 342 - 356
  • [5] Incremental Computation of Grounded Semantics for Dynamic Abstract Argumentation Frameworks
    Greco, Sergio
    Parisi, Francesco
    [J]. CONFLICT RESOLUTION IN DECISION MAKING, COREDEMA 2016, 2017, 10238 : 66 - 81
  • [6] Model-based Dynamic Control of Speculative Forays in Parallel Computation
    Perumalla, Kalyan S.
    Olama, Mohammed M.
    Yoginath, Srikanth B.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 327 : 93 - 107
  • [7] ALGEBRA OF ALGORITHMS AND DYNAMIC PARALLEL EXECUTION OF SEQUENTIAL PROGRAMS
    GLUSHKOV, VM
    KAPITONOVA, YV
    LETICHEVSKII, AA
    [J]. CYBERNETICS, 1982, 18 (05): : 533 - 542
  • [8] SEMANTICS FOR DATA PARALLEL COMPUTATION
    RICE, MD
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1990, 19 (06) : 477 - 509
  • [9] Speculative Optimizations for Parallel Programs on Multicores
    Nagarajan, Vijay
    Gupta, Rajiv
    [J]. LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2010, 5898 : 323 - 337
  • [10] Parallel robot control using speculative computation
    Hamilton, DL
    Walker, ID
    Bennett, JK
    [J]. 1996 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, PROCEEDINGS, VOLS 1-4, 1996, : 3420 - 3427
12345