Search Results - automatic (Programming—automatic OR Programming—automatizace) analysis of algorithms*
-
1
METHODS AND MEANS OF APPLYING ONTOLOGICAL MODELS IN THE PROGRAM SYSTEMS LIFECYCLE OF FLIGHT CONTROL.
Alternate Title: МЕТОДИ ТА ЗАСОБИ ЗАСТОСУВАННЯ ОНТОЛОГІЧНИХ МОДЕЛЕЙ В ЖИТТЄВОМУ ЦИКЛІ ПРОГРАМНИХ СИСТЕМ КОНТРОЛЮ ПОЛЬОТІВ. (Ukrainian)
Authors:
Source: Science-Based Technologies; 2025, Vol. 65 Issue 1, p3-20, 18p
-
2
Authors:
Source: Applied Sciences (2076-3417); Sep2024, Vol. 14 Issue 18, p8550, 17p
-
3
Authors: et al.
Source: International Journal on Advanced Science, Engineering & Information Technology; 2024, Vol. 14 Issue 6, p1922-1927, 6p
Subject Terms: HIGH school teachers, PROGRAMMING languages, LEARNING, ONLINE education, EDUCATIONAL outcomes
-
4
Authors:
Contributors:
Subject Terms: Programming---automatic analysis of algorithms. General Terms, Languages, Performance Additional Key Words and Phrases, Program Analysis, Complexity, PROLOG
File Description: 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
-
5
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.1931; http://cs.ubc.ca/%7Ekevinlb/papers/EmpiricalHardness.pdf
-
6
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
7
Authors: et al.
Source: Journal of Speech, Language & Hearing Research; Jul2023, Vol. 66 Issue 7, p2421-2433, 13p, 1 Chart, 1 Graph
-
8
Authors: et al.
Source: EUREKA: Physics & Engineering; 2025, Issue 3, p62-75, 14p
-
9
Authors:
Source: Computers & Chemical Engineering. Oct2009, Vol. 33 Issue 10, p1602-1616. 15p.
Subject Terms: *DATA mining, *GENETIC programming, *DECISION trees, *DATA analysis, *ELECTRONIC data processing, *ALGORITHMS, *MATHEMATICS literature
-
10
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
11
Authors:
Source: International Journal on Advanced Science, Engineering & Information Technology; 2023, Vol. 13 Issue 3, p1080-1086, 7p
-
12
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
13
Authors:
Source: Proceedings of the International MultiConference of Engineers & Computer Scientists 2012 Volume I. 2012, Vol. 1, p158-162. 5p.
Subject Terms: Programming languages, Windows (Graphical user interfaces), Computer programming, Electronic data processing, Algorithms
-
14
Authors:
Source: PeerJ Computer Science; Nov2024, p1-17, 17p
Subject Terms: GRAPH neural networks, INFORMATION technology, COMPUTERS, MACHINE translating, DEEP learning, ENGLISH language
-
15
Authors: Peter Naur
Source: BIT. 4:177-188
Subject Terms: numerical analysis, 4. Education
File Description: application/xml
-
16
Authors: et al.
Source: International Journal on Advanced Science, Engineering & Information Technology; 2025, Vol. 15 Issue 4, p1344-1352, 9p
-
17
Authors: et al.
Source: International Journal on Advanced Science, Engineering & Information Technology; 2024, Vol. 14 Issue 4, p1216-1225, 10p
-
18
Authors: et al.
Source: Industrial Robot; 2022, Vol. 49 Issue 6, p1218-1228, 11p
-
19
Authors:
Source: Mathematics (2227-7390); Nov2023, Vol. 11 Issue 21, p4546, 15p
Subject Terms: HIGH speed trains, LINEAR programming, TRAIN delays & cancellations
Geographic Terms: SHANGHAI (China), BEIJING (China)
-
20
Authors: et al.
Source: eLight; 6/2/2025, Vol. 5 Issue 1, p1-9, 9p
Nájsť tento článok vo Web of Science 
Full Text Finder 
Full Text