Výsledky vyhľadávania - (automationky OR automatic) programming – program transformation. general terms algorithm*
-
1
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: application/pdf
-
2
Autori:
Prispievatelia:
Predmety: evaluation, program analysis, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms algorithms, performance, theory Keywords narrowing, quasi-termination, offline partial evaluation
Popis súboru: 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
Autori: a ďalší
Zdroj: Frontiers in Veterinary Science. 2025, p1-19. 19p.
Plný text vo formáte HTML Plný text ve formátu PDF -
4
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: 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
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: 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
Autori: a ďalší
Zdroj: Veterinary Pathology. Nov2025, Vol. 62 Issue 6, p829-848. 20p.
Plný text vo formáte HTML Plný text ve formátu PDF -
7
Autori: a ďalší
Typ zdroja: eBook.
Predmet: Algorithms, Automatic differentiation
Plný text ve formátu PDF Plný text vo formáte ePub -
8
Autori: a ďalší
Zdroj: Veterinary Medicine & Science. May2025, Vol. 11 Issue 3, p1-29. 29p.
Predmet: Machine learning, Artificial intelligence, Veterinary medicine, Resource allocation, Medical research
Plný text vo formáte HTML Plný text ve formátu PDF -
9
Autori:
Typ zdroja: eBook.
Predmet: Compilers (Computer programs), Computer programming, Algorithms, Artificial intelligence—Data processing
Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms
Plný text ve formátu PDF Plný text vo formáte ePub -
10
Autori:
Zdroj: Evolutionary Computation; Fall2017, Vol. 25 Issue 3, p351-373, 23p
-
11
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: 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
Autori:
Zdroj: International urology and nephrology [Int Urol Nephrol] 2025 Nov 08. Date of Electronic Publication: 2025 Nov 08.
Spôsob vydávania: Journal Article; Review
Informácie o časopise: 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
Prispievatelia: The Pennsylvania State University CiteSeerX Archives
Predmety: 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
Popis súboru: 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
Autori:
Zdroj: IEEE Transactions on Computers. :853-861
Predmety: 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
Popis súboru: application/xml
Prístupová URL adresa: 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
Autori: a ďalší
Zdroj: Veterinary World. May2025, Vol. 18 Issue 5, p1109-1126. 18p.
Predmet: Milk yield, Estrus, K-means clustering, Dairy cattle, Lactation, Intelligent sensors, Tropical climate
Plný text ve formátu PDF -
16
Autori:
Zdroj: Fundamenta Informaticae; 2005, Vol. 66 Issue 4, p367-395, 29p
-
17
Autori: Misztal, I.1 ignacy@uga.edu
Zdroj: Journal of Animal Breeding & Genetics. Dec2008, Vol. 125 Issue 6, p363-370. 8p. 1 Chart.
Predmet: Parameter estimation, Multilevel models, Computer software, Algorithms, Stochastic convergence, Bayesian analysis
Plný text ve formátu PDF -
18
Autori:
Prispievatelia:
Zdroj: International Journal of Parallel, Emergent and Distributed Systems. 30:309-324
Predmety: 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
Prístupová URL adresa: https://ieeexplore.ieee.org/document/6449791/
-
19
Autori: a ďalší
Zdroj: Frontiers in Veterinary Science. 2024, p1-19. 19p.
Plný text vo formáte HTML Plný text ve formátu PDF -
20
Nájsť tento článok vo Web of Science 
Full Text Finder