Search Results - Automatic Programming—automatic analysis of algorithms
-
1
Authors:
Source: Computers & Chemical Engineering. 33:1602-1616
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
2
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
-
3
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
-
4
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
-
5
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
-
6
Authors: Peter Naur
Source: BIT. 4:177-188
Subject Terms: numerical analysis, 4. Education
File Description: application/xml
-
7
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
-
8
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
-
9
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.149.5960; http://cs.ubc.ca/~kevinlb/papers/EmpiricalHardness.pdf
-
10
Authors:
Contributors:
Source: http://arxiv.org/pdf/0803.0014v2.pdf.
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.314.4333; http://arxiv.org/pdf/0803.0014v2.pdf
-
11
Authors:
Contributors:
Source: http://arxiv.org/pdf/0803.0014v1.pdf.
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.314.4244; http://arxiv.org/pdf/0803.0014v1.pdf
-
12
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
13
-
14
Authors:
Resource Type: eBook.
Subjects: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms
Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation
PDF Full Text ePub Full Text -
15
Authors:
Source: International Journal of Parallel Programming. Apr2019, Vol. 47 Issue 2, p161-163. 3p.
Subject Terms: *PARALLEL programming, *SWARM intelligence, *METAHEURISTIC algorithms
-
16
Authors: et al.
Contributors: et al.
Subject Terms: programs General Terms, Languages Additional Key Words and Phrases, abstract interpretation, constraint logic programming, incremental computation, static analysis
File Description: application/pdf
-
17
Authors: Nemirko, A. P.
Source: Pattern Recognition & Image Analysis; Sep2022, Vol. 32 Issue 3, p616-621, 6p
-
18
Authors:
Source: Pattern Recognition & Image Analysis; Apr2021, Vol. 31 Issue 2, p205-211, 7p
-
19
Authors: et al.
Source: Water (20734441); Feb2024, Vol. 16 Issue 3, p424, 25p
Subject Terms: GREEN infrastructure, CITIES & towns, URBAN planning, DATABASES, INFORMATION resources management, RAINWATER
Geographic Terms: CZECH Republic
-
20
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Programming / Parallel, COMPUTERS / Software Development & Engineering / Computer Graphics, COMPUTERS / Programming / Algorithms
Full Text Finder 
Nájsť tento článok vo Web of Science