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] 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 - +
  • [9] Reduction-Based Formal Analysis of BGP Instances
    Wang, Anduo
    Talcott, Carolyn
    Gurney, Alexander J. T.
    Boon Thau Loo
    Scedrov, Andre
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, 2012, 7214 : 283 - 298
  • [10] Dimensionality reduction-based spoken emotion recognition
    Zhang, Shiqing
    Zhao, Xiaoming
    MULTIMEDIA TOOLS AND APPLICATIONS, 2013, 63 (03) : 615 - 646
12345