Program analysis for implicit computational complexity

被引：0
|
作者：
Jones, ND [1 ]
机构：
[1] Univ Copenhagen, DIKU, DK-2100 Copenhagen O, Denmark
来源：
PROGRAMS AS DATA OBJECTS, PROCEEDINGS | 2001年 / 2053卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [41] Rank: A Tool to Check Program Termination and Computational Complexity (Extended Abstract)
    Alias, Christophe
    Darte, Alain
    Feautrier, Paul
    Gonnord, Laure
    IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, : 238 - 238
  • [42] Computational complexity analysis for multiple hypothesis tracking
    Cong, S
    Hong, L
    PROCEEDINGS OF THE 36TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 1997, : 4991 - 4996
  • [43] Computational Complexity and Parallelization in Bayesian Econometric Analysis
    Basturk, Nalan
    Casarin, Roberto
    Ravazzolo, Francesco
    van Dijk, Herman K.
    ECONOMETRICS, 2016, 4 (01):
  • [44] CONSTRUCTIVITY, COMPUTABILITY, AND COMPUTATIONAL-COMPLEXITY IN ANALYSIS
    WEIHRAUCH, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 380 : 480 - 493
  • [45] Comparative analysis of arithmetic coding computational complexity
    Said, A
    DCC 2004: DATA COMPRESSION CONFERENCE, PROCEEDINGS, 2004, : 562 - 562
  • [46] Analysis Of The Computational Complexity Of Algorithms For Phonemic Transcription
    Prozorov, Dmitriy
    Tatarinova, Alexandra
    PROCEEDINGS OF 2018 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS 2018), 2018,
  • [47] Computational complexity analysis for Multiple Hypothesis Tracking
    Cong, S
    Hong, L
    MATHEMATICAL AND COMPUTER MODELLING, 1999, 29 (09) : 1 - 16
  • [48] Computational Complexity Analysis of Decision Tree Algorithms
    Sani, Habiba Muhammad
    Lei, Ci
    Neagu, Daniel
    ARTIFICIAL INTELLIGENCE XXXV (AI 2018), 2018, 11311 : 191 - 197
  • [49] Computational complexity analysis of selective breeding algorithm
    Chandrasekaran, M.
    Sriramya, P.
    Parvathavarthini, B.
    Saravanamanikandan, M.
    ADVANCED MANUFACTURING RESEARCH AND INTELLIGENT APPLICATIONS, 2014, 591 : 172 - +
  • [50] Computational Complexity Analysis of Determinant Decision Diagram
    Shi, Guoyong
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS, 2010, 57 (10) : 828 - 832
12345