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] Computational complexity analysis of selective breeding algorithm
    Chandrasekaran, M.
    Sriramya, P.
    Parvathavarthini, B.
    Saravanamanikandan, M.
    ADVANCED MANUFACTURING RESEARCH AND INTELLIGENT APPLICATIONS, 2014, 591 : 172 - +
  • [42] AN ANALYSIS OF THE COMPUTATIONAL AND PARALLEL COMPLEXITY OF THE LIVERMORE LOOPS
    FEO, JT
    PARALLEL COMPUTING, 1988, 7 (02) : 163 - 185
  • [43] Computational Complexity Analysis of Determinant Decision Diagram
    Shi, Guoyong
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS, 2010, 57 (10) : 828 - 832
  • [44] Computational Complexity Analysis of Decision Tree Algorithms
    Sani, Habiba Muhammad
    Lei, Ci
    Neagu, Daniel
    ARTIFICIAL INTELLIGENCE XXXV (AI 2018), 2018, 11311 : 191 - 197
  • [45] CONSTRUCTIVITY, COMPUTABILITY, AND COMPUTATIONAL-COMPLEXITY IN ANALYSIS
    WEIHRAUCH, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 380 : 480 - 493
  • [46] 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
  • [47] Computational complexity analysis for Multiple Hypothesis Tracking
    Cong, S
    Hong, L
    MATHEMATICAL AND COMPUTER MODELLING, 1999, 29 (09) : 1 - 16
  • [48] Computational Complexity and Parallelization in Bayesian Econometric Analysis
    Basturk, Nalan
    Casarin, Roberto
    Ravazzolo, Francesco
    van Dijk, Herman K.
    ECONOMETRICS, 2016, 4 (01):
  • [49] 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
  • [50] Comparative analysis of arithmetic coding computational complexity
    Said, A
    DCC 2004: DATA COMPRESSION CONFERENCE, PROCEEDINGS, 2004, : 562 - 562
12345