COMPUTABILITY OF STACK NON-UNDERFLOW.

被引：0
|
作者：
Goodwin, D.T. [1 ]
机构：
[1] Univ of Keele, Newcastle, Engl, Univ of Keele, Newcastle, Engl
来源：
| 1600年 / 28期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Modular verification of a non-blocking stack
    Parkinson, Matthew
    Bornat, Richard
    O'Hearn, Peter
    ACM SIGPLAN NOTICES, 2007, 42 (01) : 297 - 302
  • [32] Analog Algorithms with Discontinuous States and Non-Unique Evolution Operators: Computability and Stability
    Retchkiman Konigsberg, Zvi
    COMPUTACION Y SISTEMAS, 2021, 25 (01): : 165 - 172
  • [33] Tropicalization is a non-Archimedean analytic stack quotient
    Ulirsch, Martin
    MATHEMATICAL RESEARCH LETTERS, 2017, 24 (04) : 1205 - 1237
  • [34] The interlayer gap and non-coaxiality in stack drilling
    Gao, Yuhao
    Wu, Dan
    Nan, Chenggen
    Ma, Xinguo
    Dong, Yunfei
    Chen, Ken
    INTERNATIONAL JOURNAL OF MACHINE TOOLS & MANUFACTURE, 2015, 99 : 68 - 76
  • [35] Modeling of Non Ideal Dielectric Elastomer Stack Actuators
    Lotz, Peter
    Matysek, Marc
    Flittner, Klaus
    Schlaak, Helmut F.
    ELECTROACTIVE POLYMER ACTUATORS AND DEVICES (EAPAD) 2010, 2010, 7642
  • [36] NON-COMPUTABILITY IN ANALYSIS AND PHYSICS - A COMPLETE DETERMINATION OF THE CLASS OF NONCOMPUTABLE LINEAR-OPERATORS
    POUREL, MB
    RICHARDS, I
    ADVANCES IN MATHEMATICS, 1983, 48 (01) : 44 - 74
  • [37] NON-COMPUTABILITY IN MODELS OF PHYSICAL PHENOMENA - COMPUTABLE DIFFERENTIAL-EQUATIONS WITH NO COMPUTABLE SOLUTION
    POUREL, MB
    AMERICAN MATHEMATICAL MONTHLY, 1982, 89 (05): : C46 - C46
  • [38] Crested barrier in the tunnel stack of non-volatile memories
    Irrera, F
    Puzzilli, G
    MICROELECTRONICS RELIABILITY, 2005, 45 (5-6) : 907 - 910
  • [39] COLLECTION BEHAVIOR OF THE ANDERSEN NON-VIABLE STACK SAMPLER AND THE ANDERSEN STACK SAMPLER ON USE OF GLASSFIBER COLLECTION SUBSTRATES
    FRANZEN, H
    JOHANNES, H
    STAUB REINHALTUNG DER LUFT, 1979, 39 (02): : 50 - 55
  • [40] HIERARCHY OF GENERAL-RECURSIVE OPERATORS AND GENERAL-RECURSIVE TYPES OF NON-COMPUTABILITY DEGREES
    STRIGIN, YD
    DOKLADY AKADEMII NAUK SSSR, 1973, 210 (03): : 537 - 540
12345