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 条

[31] Computational complexity of network vulnerability analysis
Berberler, Murat Ersen
ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA, 2022, 14 (02) : 199 - 207
[32] Energy Analysis Method of Computational Complexity
Peng, Wang
ISCSCT 2008: INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE AND COMPUTATIONAL TECHNOLOGY, VOL 2, PROCEEDINGS, 2008, : 682 - 685
[33] Computational method and program for generating a porous scaffold based on implicit surfaces
Iamsamang, Jirawat
Naiyanetr, Phornphop
COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 2021, 205
[34] SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
Gulwani, Sumit
Mehra, Krishna K.
Chilimbi, Trishul
ACM SIGPLAN NOTICES, 2009, 44 (01) : 127 - 139
[35] Ground delay program planning: Delay, equity, and computational complexity
Kuhn, Kenneth D.
TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES, 2013, 35 : 193 - 203
[36] Declassification Policy for Program Complexity Analysis
Hainry, Emmanuel
Kapron, Bruce M.
Marion, Jean-Yves
Pechoux, Romain
PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,
[37] Revolving Codes: Overhead and Computational Complexity Analysis
Yazdani, Niloofar
Lucani, Daniel E.
IEEE COMMUNICATIONS LETTERS, 2021, 25 (02) : 374 - 378
[38] On the computational complexity of cost efficiency analysis models
Jahanshahloo, G. R.
Soleimani-damaneh, M.
Mostafaee, A.
APPLIED MATHEMATICS AND COMPUTATION, 2007, 188 (01) : 638 - 640
[39] On the complexity of fundamental computational problems in pedigree analysis
Piccolboni, A
Gusfield, D
JOURNAL OF COMPUTATIONAL BIOLOGY, 2003, 10 (05) : 763 - 773
[40] Complexity in Analogy Tasks: An Analysis and Computational Model
Stahl, Philip
Ragni, Marco
ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 1041 - 1042

← 1 2 3 4 5 →