On reduction-based process semantics

被引：0
|
作者：
Keio Univ, Yokohama, Japan [1 ]
机构：
来源：
Theor Comput Sci | / 2卷 / 437-486期
基金：
日本学术振兴会;
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] A reduction-based exact algorithm for the contact map overlap problem
    Xie, Wei
    Sahinidis, Nikolaos V.
    JOURNAL OF COMPUTATIONAL BIOLOGY, 2007, 14 (05) : 637 - 654
  • [42] A dimensionality reduction-based approach for secured color image watermarking
    Ashima Anand
    Soft Computing, 2024, 28 : 5137 - 5154
  • [43] Reduction-based strategy for optimal control of Bose-Einstein condensates
    Adriazola, J.
    Goodman, R. H.
    PHYSICAL REVIEW E, 2022, 105 (02)
  • [44] Correspondence article: a correction of the reduction-based schedulability analysis for APA scheduling
    Gujarati, Arpan
    Cerqueira, Felipe
    Brandenburg, Bjoern B.
    Nelissen, Geoffrey
    REAL-TIME SYSTEMS, 2019, 55 (01) : 136 - 143
  • [45] Partition Independent Set and Reduction-Based Approach for Partition Coloring Problem
    Zhu, Enqiang
    Jiang, Fei
    Liu, Chanjuan
    Xu, Jin
    IEEE TRANSACTIONS ON CYBERNETICS, 2022, 52 (06) : 4960 - 4969
  • [46] Reduction-based Control of Three-dimensional Bipedal Walking Robots
    Gregg, Robert D.
    Spong, Mark W.
    INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 2010, 29 (06): : 680 - 702
  • [47] ARCHITECTURE OF A REDUCTION-BASED PARALLEL INFERENCE MACHINE - PIM-R
    ONAI, R
    ASO, M
    SHIMIZU, H
    MASUDA, K
    MATSUMOTO, A
    NEW GENERATION COMPUTING, 1985, 3 (02) : 197 - 228
  • [48] Reduction-based schedulability analysis of distributed systems with cycles in the task graph
    Praveen Jayachandran
    Tarek Abdelzaher
    Real-Time Systems, 2010, 46 : 121 - 151
  • [49] Radix sort and attribute reduction-based lightning forecast factor extraction
    Li, Xiangjun
    Huo, Yanli
    Zheng, Siwei
    Yang, Huping
    Qiu, Taorong
    Journal of Information and Computational Science, 2014, 11 (14): : 5219 - 5228
  • [50] Dimensionality reduction-based feature extraction and classification on fleece fabric images
    Yildiz, Kazim
    SIGNAL IMAGE AND VIDEO PROCESSING, 2017, 11 (02) : 317 - 323
12345