Non-uniform time sharing in the concurrent execution of constraint solving

被引：0
|
作者：
Slovak University of Technology, Ilkovičova 3, 812 19 Bratislava, Slovakia [1 ]
机构：
来源：
Artif Intell | / 1卷 / 161-185期
关键词：
Number:; -; Acronym:; SAV; Sponsor: Slovenská Akadémia Vied;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Non-uniform time sharing in the concurrent execution of constraint solving
    Krajcoviech, R
    Kotocová, M
    ARTIFICIAL INTELLIGENCE, 1999, 109 (1-2) : 161 - 185
  • [2] Experiments with Non-Uniform concurrent execution of constraint solving
    Krajcoviech, R
    Kotocova, M
    KNOWLEDGE-BASED SOFTWARE ENGINEERING, 1998, 48 : 295 - 298
  • [3] Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint
    Creignou, Nadia
    Schnoor, Henning
    Schnoor, Ilka
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2008, 5213 : 109 - +
  • [4] Non-Uniform Partitioning for Collaborative Execution on Heterogeneous Architectures
    Freytag, Gabriel
    Serpa, Matheus S.
    Lima, Joao V. F.
    Rech, Paolo
    Navaux, Philippe O. A.
    2019 31ST INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD 2019), 2019, : 128 - 135
  • [5] Exploiting non-uniform program execution time to evade record/replay forensic analysis
    Hu, Yang
    Sun, Mingshen
    Lui, John C. S.
    COMPUTERS & SECURITY, 2020, 88
  • [6] A Locally Implicit FDTD Scheme with Relaxed Time Step Constraint for Non-Uniform Meshes
    Kirsch, Stefan
    Schuhmann, Rolf
    2016 URSI INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC THEORY (EMTS), 2016, : 133 - 136
  • [7] A predictor–corrector scheme for solving the time fractional Fokker–Planck equation with uniform and non-uniform meshes
    Mohammad Javidi
    Mahdi Saedshoar Heris
    Computational and Applied Mathematics, 2021, 40
  • [8] Constraint solving and symbolic execution
    Zhang, Jian
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 539 - 544
  • [9] On the average execution time for a special class of non-uniform recurrence equations on a linear systolic array
    Aleksandrov, V.
    Fidanova, S.
    1994,
  • [10] Array Regrouping on CMP with Non-uniform Cache Sharing
    Jiang, Yunlian
    Zhang, Eddy Z.
    Shen, Xipeng
    Gao, Yaoqing
    Arehambault, Roch
    LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2011, 6548 : 92 - +
12345