Suchergebnisse - (automatic OR automatizaceky) programming – program transformation. general terms algorithm*
-
1
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
2
Autoren:
Weitere Verfasser:
Schlagwörter: evaluation, program analysis, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms algorithms, performance, theory Keywords narrowing, quasi-termination, offline partial evaluation
Dateibeschreibung: 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
Autoren: et al.
Quelle: Frontiers in Veterinary Science. 2025, p1-19. 19p.
HTML Volltext PDF-Volltext -
4
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Quelle: Veterinary Pathology. Nov2025, Vol. 62 Issue 6, p829-848. 20p.
HTML Volltext PDF-Volltext -
7
Autoren: et al.
Resource Type: eBook.
Schlagworte: Algorithms, Automatic differentiation
PDF-Volltext ePub Volltext -
8
Autoren: et al.
Quelle: Veterinary Medicine & Science. May2025, Vol. 11 Issue 3, p1-29. 29p.
Schlagworte: Machine learning, Artificial intelligence, Veterinary medicine, Resource allocation, Medical research
HTML Volltext PDF-Volltext -
9
Autoren:
Resource Type: eBook.
Schlagworte: 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-Volltext ePub Volltext -
10
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.4563; http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf
-
11
Autoren:
Quelle: International urology and nephrology [Int Urol Nephrol] 2025 Nov 08. Date of Electronic Publication: 2025 Nov 08.
Publikationsart: Journal Article; Review
Info zur Zeitschrift: 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
-
12
Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives
Schlagwörter: 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
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.9016; http://www.cs.sunysb.edu/~katia/HriTekLiu07.pdf
-
13
Autoren:
Quelle: IEEE Transactions on Computers. :853-861
Schlagwörter: 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
Dateibeschreibung: application/xml
Zugangs-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 -
14
Autoren: et al.
Quelle: Veterinary World. May2025, Vol. 18 Issue 5, p1109-1126. 18p.
Schlagworte: Milk yield, Estrus, K-means clustering, Dairy cattle, Lactation, Intelligent sensors, Tropical climate
PDF-Volltext -
15
Autoren: Misztal, I.1 ignacy@uga.edu
Quelle: Journal of Animal Breeding & Genetics. Dec2008, Vol. 125 Issue 6, p363-370. 8p. 1 Chart.
Schlagworte: Parameter estimation, Multilevel models, Computer software, Algorithms, Stochastic convergence, Bayesian analysis
PDF-Volltext -
16
Autoren:
Weitere Verfasser:
Quelle: International Journal of Parallel, Emergent and Distributed Systems. 30:309-324
Schlagwörter: 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
Zugangs-URL: https://ieeexplore.ieee.org/document/6449791/
-
17
Autoren: et al.
Quelle: Frontiers in Veterinary Science. 2024, p1-19. 19p.
HTML Volltext PDF-Volltext -
18
Autoren:
Resource Type: eBook.
Schlagworte: Computer science, Computer software, Data structures (Computer science)
Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms
PDF-Volltext ePub Volltext -
19
Autoren: et al.
Resource Type: eBook.
Schlagworte: Computer algorithms, Big data
Categories: COMPUTERS / Networking / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, MATHEMATICS / Applied
PDF-Volltext ePub Volltext -
20
Autoren:
Resource Type: eBook.
Schlagworte: OCaml (Computer program language), Science--Data processing, Numerical analysis--Data processing
Categories: COMPUTERS / Languages / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management
PDF-Volltext ePub Volltext
Nájsť tento článok vo Web of Science 
Full Text Finder