NUMERICAL CONTROL WITH MEMORY AND DEBUGGING UNITS

被引：0
|
作者：
KLUG, HG
KREMPER, D
机构：
[1] UNIV STUTTGART,INST STEUERUNGS TECH WERKZEUG MASCH & FERTIGUNGSEINRICHTUNGEN,STUTTGART,FED REP GER
[2] SIEMENS AG,ERLANGEN,FED REP GER
来源：
WERKSTATTSTECHNIK ZEITSCHRIFT FUR INDUSTRIELLE FERTIGUNG | 1975年 / 65卷 / 06期
关键词：
D O I：
暂无
中图分类号：
O3 [力学];
学科分类号：
08 ; 0801 ;
摘要：
引用
收藏
页码：329 / 334
页数：6
相关论文
共 50 条
  • [21] BLeak: Automatically Debugging Memory Leaks in Web Applications
    Vilk, John
    Berger, Emery D.
    PROCEEDINGS OF THE 39TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, PLDI 2018, 2018, : 15 - +
  • [22] A VIRTUAL MEMORY MANAGEMENT CHIP WITH PROGRAM DEBUGGING SUPPORT
    LAVI, Y
    MIZRACHI, A
    ISSCC DIGEST OF TECHNICAL PAPERS, 1983, 26 : 26 - 27
  • [23] Debugging Synthetic Circuits with Optogenetic Control
    Fox, Zachary
    Chait, Remy
    Batt, Gregory
    Ruess, Jakob
    BIOPHYSICAL JOURNAL, 2020, 118 (03) : 610A - 610A
  • [24] BLeak: Automatically Debugging Memory Leaks in Web Applications
    Vilk, John
    Berger, Emery D.
    COMMUNICATIONS OF THE ACM, 2020, 63 (11) : 146 - 153
  • [25] Numerical analysis and design for NOx sensor pump units decoupling control
    Cao, Yuyang
    Li, Yi
    Yu, Yang
    Jiang, Jianhua
    Li, Xi
    2019 CHINESE AUTOMATION CONGRESS (CAC2019), 2019, : 5815 - 5820
  • [26] A case study in the qualitative verification and debugging of numerical uncertainty
    Parsons, S
    Saffiotti, A
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 1996, 14 (2-3) : 187 - 216
  • [27] Parallel Shadow Execution to Accelerate the Debugging of Numerical Errors
    Chowdhary, Sangeeta
    Nagarakatte, Santosh
    PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21), 2021, : 615 - 626
  • [28] DEBUGGING TOOL FOR MOBILE NUMERICAL CODE LEARNING SYSTEM
    Kim, Sang-Bae
    JOURNAL OF APPLIED MATHEMATICS & INFORMATICS, 2020, 38 (3-4): : 255 - 260
  • [29] Light-weight theorem proving for debugging and verifying units of code
    Déharbe, D
    Ranise, S
    FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 220 - 228
  • [30] A case study in the qualitative verification and debugging of numerical uncertainty
    Imperial Cancer Research Fund, London, United Kingdom
    不详
    不详
    不详
    Int J Approximate Reasoning, 2-3 SPEC. ISS. (187-216):
12345