Výsledky vyhledávání - automatic (Programming—automatic OR Programming—automatizace) analysis of algorithms~
-
1
Autoři:
Zdroj: Computers & Chemical Engineering. 33:1602-1616
Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
2
Autoři:
Přispěvatelé:
Témata: Programming---automatic analysis of algorithms. General Terms, Languages, Performance Additional Key Words and Phrases, Program Analysis, Complexity, PROLOG
Popis souboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.7367; http://www.cs.arizona.edu/people/debray/papers/cost_analysis.ps
-
3
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, I.2.2 [Artificial Intelligence, Automatic Programming— Automatic analysis of algorithms, Program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search—Graph and tree search strategies, Heuristic methods, I.2.6 [Artificial Intelligence, Learning General Terms, Design, Economics, Experimentation, Measurement, Performance Additional Key Words and Phrases, Empirical Analysis of Algorithms, Algorithm Portfolios, Combinatorial Auctions, Runtime Prediction
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.1931; http://cs.ubc.ca/%7Ekevinlb/papers/EmpiricalHardness.pdf
-
4
Autoři: a další
Přispěvatelé: a další
Témata: Techniques, Applicative (Functional) Programming, I.2.2 [Artificial Intelligence, Automatic Programming—Automatic analysis of algorithms, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving General Terms, Languages, Theory, Verification Additional Key Words and Phrases, functional programming, Haskell, termination analysis, term rewriting, dependency
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.3618; http://www.win.tue.nl/%7Emraffels/Haskell_Journal_pre.pdf
-
5
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.1 [Programming Techniques, Automatic Programming|automatic analysis of algorithms � program transformation � D.3.3 [Programming, Language Constructs and Features � D.3.4 [Programming Languages, Processors| optimization � F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs General Terms, Algorithms, Languages, Performance Additional Key Words and Phrases, Caching, dependence analysis, incremental computation, incremental programs, intermediate results, memoization, optimization, program e ciency improvement, program
Popis souboru: application/pdf
-
6
Autoři: a další
Přispěvatelé: a další
Témata: and Formal Languages, Mathematical Logic—lambda calculus and related systems, I.1.3 [Algebraic Manipulation, Languages and Systems—evaluation strategies, I.2.2 [Artificial Intelligence, Automatic Programming—automatic analysis of algorithms, program transformation
Popis souboru: application/pdf
-
7
Autoři:
Zdroj: Proceedings of the International MultiConference of Engineers & Computer Scientists 2012 Volume I. 2012, Vol. 1, p158-162. 5p.
Témata: Programming languages, Windows (Graphical user interfaces), Computer programming, Electronic data processing, Algorithms
-
8
Autoři: Peter Naur
Zdroj: BIT. 4:177-188
Témata: numerical analysis, 4. Education
Popis souboru: application/xml
-
9
Autoři:
Zdroj: INFORMS Journal on Computing; May/Jun2024, Vol. 36 Issue 3, p868-883, 16p
Témata: CYCLIC groups, SYMMETRY, SYMMETRY groups, PERMUTATION groups
-
10
METHODS AND MEANS OF APPLYING ONTOLOGICAL MODELS IN THE PROGRAM SYSTEMS LIFECYCLE OF FLIGHT CONTROL.
Alternate Title: МЕТОДИ ТА ЗАСОБИ ЗАСТОСУВАННЯ ОНТОЛОГІЧНИХ МОДЕЛЕЙ В ЖИТТЄВОМУ ЦИКЛІ ПРОГРАМНИХ СИСТЕМ КОНТРОЛЮ ПОЛЬОТІВ. (Ukrainian)
Autoři:
Zdroj: Science-Based Technologies; 2025, Vol. 65 Issue 1, p3-20, 18p
-
11
Autoři:
Zdroj: Applied Sciences (2076-3417); Sep2024, Vol. 14 Issue 18, p8550, 17p
-
12
Autoři: a další
Zdroj: Industrial Robot; 2022, Vol. 49 Issue 6, p1218-1228, 11p
-
13
Autoři: a další
Zdroj: International Journal on Advanced Science, Engineering & Information Technology; 2024, Vol. 14 Issue 6, p1922-1927, 6p
-
14
Autoři: a další
Zdroj: Journal of Speech, Language & Hearing Research; Jul2023, Vol. 66 Issue 7, p2421-2433, 13p, 1 Chart, 1 Graph
-
15
Autoři: a další
Zdroj: EUREKA: Physics & Engineering; 2025, Issue 3, p62-75, 14p
-
16
Autoři:
Zdroj: International Journal on Advanced Science, Engineering & Information Technology; 2023, Vol. 13 Issue 3, p1080-1086, 7p
-
17
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, I.2.2 [Artificial Intelligence, Automatic Programming— Automatic analysis of algorithms, Program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search—Graph and tree search strategies, Heuristic methods, I.2.6 [Artificial Intelligence, Learning General Terms, Design, Economics, Experimentation, Measurement, Performance Additional Key Words and Phrases, Empirical Analysis of Algorithms, Algorithm Portfolios, Combinatorial Auctions, Runtime Prediction
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.5960; http://cs.ubc.ca/~kevinlb/papers/EmpiricalHardness.pdf
-
18
Autoři: a další
Zdroj: International Journal on Advanced Science, Engineering & Information Technology; 2025, Vol. 15 Issue 4, p1344-1352, 9p
-
19
Autoři:
Zdroj: PeerJ Computer Science; Nov2024, p1-17, 17p
-
20
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, F.3.1 [Logic and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification, D.1.6 [Programming Techniques, Logic Programming, I.2.2 [Artificial Intelligence, Automatic Programming— Automatic analysis of algorithms, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic programming General Terms, Languages, Theory, Verification Additional Key Words and Phrases, termination analysis, term rewriting, dependency pairs
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.314.4333; http://arxiv.org/pdf/0803.0014v2.pdf
Full Text Finder
Nájsť tento článok vo Web of Science