On reduction-based process semantics

被引：0
|
作者：
Keio Univ, Yokohama, Japan [1 ]
机构：
来源：
Theor Comput Sci | / 2卷 / 437-486期
基金：
日本学术振兴会;
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Efficient AMG reduction-based preconditioners for structural mechanics
    Alsalti-Baldellou, Adel
    Franceschini, Andrea
    Mazzucco, Gianluca
    Janna, Carlo
    COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING, 2024, 431
  • [22] Fair Regression: Quantitative Definitions and Reduction-based Algorithms
    Agarwal, Alekh
    Dudik, Miroslav
    Wu, Zhiwei Steven
    INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 97, 2019, 97
  • [23] An Improved Strength Reduction-Based Slope Stability Analysis
    Seyed-Kolbadi, S. M.
    Sadoghi-Yazdi, J.
    Hariri-Ardebili, M. A.
    GEOSCIENCES, 2019, 9 (01)
  • [24] Reduction-based methods and metrics for selective regression testing
    Mansour, N
    Bahsoon, R
    INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (07) : 431 - 443
  • [25] Reduction-based Security Analysis of Internet Routing Protocols
    Chen, Chen
    Jia, Limin
    Loo, Boon Thau
    Zhou, Wenchao
    2012 20TH IEEE INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP), 2012,
  • [26] Dimension reduction-based significance testing in nonparametric regression
    Zhu, Xuehu
    Zhu, Lixing
    ELECTRONIC JOURNAL OF STATISTICS, 2018, 12 (01): : 1468 - 1506
  • [27] Nonlinear model reduction-based induction motor aggregation
    Zhang, Gang
    Du, Zhengchun
    Ni, Yu
    Li, Chongtao
    INTERNATIONAL TRANSACTIONS ON ELECTRICAL ENERGY SYSTEMS, 2016, 26 (02): : 398 - 411
  • [28] On the Convergence of Reduction-based and Model-based Methods in Proof Theory
    Dowek, Gilles
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 205 : 137 - 144
  • [29] Reduction-based stabilization of time-delay nonlinear dynamics
    Mattioni, Mattia
    Monaco, Salvatore
    Normand-Cyrot, Dorothee
    2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2018, : 3471 - 3476
  • [30] A dimensionality reduction-based approach for secured color image watermarking
    Anand, Ashima
    SOFT COMPUTING, 2024, 28 (06) : 5137 - 5154
12345