Search Results - Automatic Programming – Program transformation. General Terms Algorithm*
-
1
Authors:
Contributors:
Subject Terms: and logic languages, D.3.4 [Programming Languages, Processors—code generation, optimization, E.1 [Data, Data Structures—arrays, lists, queues, records, E.2 [Data, Data Storage Representations—linked representations, F.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—computations on discrete structures, H.2.3 [Information Systems, Database Management—query languages, H.2.4 [Information Systems, Systems—query processing, rule-based databases, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms, Algorithms, Languages, Performance Additional Key Words and Phrases, Complexity analysis, Datalog, data structure design, incremental computation, indexing, indexed representations, linked representations
File Description: application/pdf
-
2
Authors:
Contributors:
Subject Terms: evaluation, program analysis, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms algorithms, performance, theory Keywords narrowing, quasi-termination, offline partial evaluation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4892; http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf
-
3
Authors: et al.
Source: Frontiers in Veterinary Science. 2025, p1-19. 19p.
HTML Full Text PDF Full Text -
4
Authors: et al.
Contributors: et al.
Subject Terms: gramming Languages, Processors---compilers, optimization, I.1.2 [Algebraic Manipulation, Algorithms---analysis of algorithms, I.2.2 [Artificial Intelligence, Automatic Programming---program transformation General Terms, Partial Redundancy, Code Motion, Static Single Assignment Form Additional Key Words and Phrases, common subexpressions, data flow analysis, program optimization
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9783; http://reality.sgi.com/dehnert_engr/papers/KCLLTC99.ps
-
5
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.1.6 [Programming Techniques, Logic Programming, D.3.3 [Language Classifications, Multiparadigm Languages, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms, Languages, Performance, Theory Additional Key Words and Phrases, Conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.6018; http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf
-
6
Authors: et al.
Source: Veterinary Pathology. Nov2025, Vol. 62 Issue 6, p829-848. 20p.
HTML Full Text PDF Full Text -
7
Authors: et al.
Resource Type: eBook.
Subjects: Algorithms, Automatic differentiation
PDF Full Text ePub Full Text -
8
Authors: et al.
Source: Veterinary Medicine & Science. May2025, Vol. 11 Issue 3, p1-29. 29p.
Subjects: Machine learning, Artificial intelligence, Veterinary medicine, Resource allocation, Medical research
HTML Full Text PDF Full Text -
9
Authors:
Resource Type: eBook.
Subjects: Compilers (Computer programs), Computer programming, Algorithms, Artificial intelligence—Data processing
Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms
PDF Full Text ePub Full Text -
10
Authors:
Source: Evolutionary Computation; Fall2017, Vol. 25 Issue 3, p351-373, 23p
-
11
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors – optimization, I.2.2 [Artificial Intelligence, Automatic Programming – Program transformation. General Terms Algorithm, Performance, Languages Keywords Reactive System, Partial Evaluation, Tupling
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.4563; http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf
-
12
Authors:
Source: International urology and nephrology [Int Urol Nephrol] 2025 Nov 08. Date of Electronic Publication: 2025 Nov 08.
Publication Type: Journal Article; Review
Journal Info: Publisher: Springer Country of Publication: Netherlands NLM ID: 0262521 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1573-2584 (Electronic) Linking ISSN: 03011623 NLM ISO Abbreviation: Int Urol Nephrol Subsets: MEDLINE
-
13
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: lists, queues, records, F.2 [Analysis of Algorithms and Problems Complexity, Nonnumerical Algorithms and Problems— computations on discrete structures, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms security, algorithms, languages, performance Keywords access control, policy analysis, security, algorithm, time
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.9016; http://www.cs.sunysb.edu/~katia/HriTekLiu07.pdf
-
14
Authors:
Source: IEEE Transactions on Computers. :853-861
Subject Terms: P-functions, binary program synthesis, General topics in the theory of software, 0102 computer and information sciences, 02 engineering and technology, resolution principle, declarative programming, 01 natural sciences, Prolog, Switching theory, application of Boolean algebra, Boolean functions, 0202 electrical engineering, electronic engineering, information engineering, logic design, Theorem proving (deduction, resolution, etc.), binary decision programs
File Description: application/xml
Access URL: https://www.computer.org/csdl/trans/tc/1986/10/01676676.html
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000001676676
https://www.infona.pl/resource/bwmeta1.element.ieee-art-000001676676
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1676676
http://www.osti.gov/scitech/biblio/5311132-algorithmic -state-machine-design-automatic -theorem-proving-two-dual-approaches-same-activity
https://dblp.uni-trier.de/db/journals/tc/tc35.html#SnyersT86 -
15
Authors: et al.
Source: Veterinary World. May2025, Vol. 18 Issue 5, p1109-1126. 18p.
Subjects: Milk yield, Estrus, K-means clustering, Dairy cattle, Lactation, Intelligent sensors, Tropical climate
PDF Full Text -
16
Authors:
Source: Fundamenta Informaticae; 2005, Vol. 66 Issue 4, p367-395, 29p
-
17
Authors: Misztal, I.1 ignacy@uga.edu
Source: Journal of Animal Breeding & Genetics. Dec2008, Vol. 125 Issue 6, p363-370. 8p. 1 Chart.
Subjects: Parameter estimation, Multilevel models, Computer software, Algorithms, Stochastic convergence, Bayesian analysis
PDF Full Text -
18
Authors:
Contributors:
Source: International Journal of Parallel, Emergent and Distributed Systems. 30:309-324
Subject Terms: parallel programming, source-to-source compiler, GPGPU, GPU, 0202 electrical engineering, electronic engineering, information engineering, compiler transformations, CUDA, directivebased language, 02 engineering and technology, 15. Life on land
Access URL: https://ieeexplore.ieee.org/document/6449791/
-
19
Authors: et al.
Source: Frontiers in Veterinary Science. 2024, p1-19. 19p.
HTML Full Text PDF Full Text -
20
Nájsť tento článok vo Web of Science 
Full Text Finder