On reduction-based process semantics

被引：0
|
作者：
Keio Univ, Yokohama, Japan [1 ]
机构：
来源：
Theor Comput Sci | / 2卷 / 437-486期
基金：
日本学术振兴会;
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] ON REDUCTION-BASED PROCESS SEMANTICS
    HONDA, K
    YOSHIDA, N
    THEORETICAL COMPUTER SCIENCE, 1995, 151 (02) : 437 - 486
  • [2] Adaptive reduction-based AMG
    MacLachlan, Scott
    Manteuffel, Tom
    McCormick, Steve
    NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS, 2006, 13 (08) : 599 - 620
  • [3] NONSYMMETRIC REDUCTION-BASED ALGEBRAIC MULTIGRID
    Manteuffel, Thomas A.
    Muenzenmaier, Steffen
    Ruge, John
    Southworth, Ben
    SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2019, 41 (05): : S242 - S268
  • [4] Dimensionality Reduction-Based Phoneme Recognition
    Zhang, Shiqing
    Zhao, Zhijin
    ICSP: 2008 9TH INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING, VOLS 1-5, PROCEEDINGS, 2008, : 667 - +
  • [5] Generalizing reduction-based algebraic multigrid
    Zaman, Tareq
    Nytko, Nicolas
    Taghibakhshi, Ali
    MacLachlan, Scott
    Olson, Luke
    West, Matthew
    NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS, 2024, 31 (03)
  • [6] From Reduction-Based to Reduction-Free Normalization
    Danvy, Olivier
    ADVANCED FUNCTIONAL PROGRAMMING, 2009, 5832 : 66 - 164
  • [7] From Reduction-based to Reduction-free Normalization
    Danvy, Olivier
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 124 (02) : 79 - 100
  • [8] Reduction-Based Creative Telescoping for Algebraic Functions
    Chen, Shaoshi
    Kauers, Manuel
    Koutschan, Christoph
    PROCEEDINGS OF THE 2016 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC 2016), 2016, : 175 - 182
  • [9] Speculative Reduction-Based Scalable Redundancy Identification
    Mony, Hari
    Baumgartner, Jason
    Mishchenko, Alan
    Brayton, Robert
    DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2009, : 1674 - +
  • [10] Dimensionality reduction-based spoken emotion recognition
    Zhang, Shiqing
    Zhao, Xiaoming
    MULTIMEDIA TOOLS AND APPLICATIONS, 2013, 63 (03) : 615 - 646
12345