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 条
  • [21] Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper)
    Luo, Sicheng
    Xu, Hui
    Bi, Yanxiang
    Wang, Xin
    Zhou, Yangfan
    ISSTA '21: PROCEEDINGS OF THE 30TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2021, : 336 - 347
  • [22] Power converter with gradient power architecture and non-uniform current sharing
    Abu Qahouq, Jaber A.
    Huang, Lilly
    INTELEC 2006: 28TH INTERNATIONAL TELECOMMUNICATION ENERGY CONFERENCE, VOLS 1 AND 2, 2006, : 380 - +
  • [23] Heuristic methods for solving Euclidean non-uniform Steiner Tree Problems
    Frommer, I
    Golden, B
    Pundoor, G
    NEXT WAVE IN COMPUTING, OPTIMIZATION, AND DECISION TECHNOLOGIES, 2005, 29 : 133 - 148
  • [24] Heuristic methods for solving Euclidean non-uniform Steiner Tree Problems
    Frommer, I
    Golden, B
    Pundoor, G
    GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS, 2004, 3103 : 392 - 393
  • [25] Solving Schrodinger Equation with Non-Uniform Grids by Scale Transformation Method
    马玉涛
    刘理天
    李志坚
    半导体学报, 2000, (09) : 853 - 856
  • [26] Solving integral and differential equations by the aid of non-uniform Haar wavelets
    Lepik, U.
    APPLIED MATHEMATICS AND COMPUTATION, 2008, 198 (01) : 326 - 332
  • [27] Solving schrodinger equation with non-uniform grids by scale transformation method
    Ma, Yutao
    Liu, Litian
    Li, Zhijian
    Pan Tao Ti Hsueh Pao/Chinese Journal of Semiconductors, 2000, 21 (09): : 853 - 856
  • [28] Solving Non-uniform Planted and Filtered Random SAT Formulas Greedily
    Friedrich, Tobias
    Neumann, Frank
    Rothenberger, Ralf
    Sutton, Andrew M.
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, 2021, 12831 : 188 - 206
  • [29] Non-uniform quasi-interpolation for solving Hammerstein integral equations
    Barrera, D.
    El Mokhtari, F.
    Ibanez, M. J.
    Sbibih, D.
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2020, 97 (1-2) : 72 - 84
  • [30] Parallel SMT Solving and Concurrent Symbolic Execution
    Rakadjiev, Emil
    Shimosawa, Taku
    Mine, Hiroshi
    Oshima, Satoshi
    2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, 2015, : 17 - 26
12345