Výsledky vyhledávání - d.1.2 [programming techniques]: ((automatic OR automatizace) OR automation) programming*
-
1
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Program- ming, I.2.2 [Artificial Intelligence, Program Synthesis, H.5.2 [User Interfaces, Natural language Keywords Program Synthesis, End-user Programming, Spreadsheet Pro- gramming, User Intent
Popis souboru: application/pdf
-
2
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming, I.2.2 [Artificial Intelligence
Popis souboru: application/pdf
-
3
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.1.2 [Programming Techniques, Automatic Programming, D.2.1 [Software Engineering, Requirements/Specifications, D.4.6 [Operating Systems, Security and Protection—Access controls, F.1.1 [Computation By Abstract Devices, Models of Computation—Automata, Bounded-action devices, F.1.3 [Computation By Abstract Devices, Complexity Classes—Complexity hierarchies, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Specification techniques, K.6.5 [Management of Computing and Information Systems, Security and Protection General Terms, Security Additional Key Words and Phrases, program rewriting, reference monitors, execution monitoring, inlined reference monitoring
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.9992; http://www.cs.cornell.edu/fbs/publications/EnfClasses.pdf
-
4
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming, D.3.4 [Programming Languages, Processors – compilers, code generation, parsing, I.2.6 [Artificial Intelligence] Learning – induction. General Terms Algorithms, Experimentation. Keywords Genetic programming, application, software tools
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.5966; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1681.pdf
-
5
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.1 [Programming Techniques, Functional Programming, D.1.2 [Programming Techniques, Automatic Programming, D.2.7 [Software Engineering, Maintenance, F.3.1 [Logics and Meanings of Programs, Reasoning about Programs General Terms Design, Languages, Reliability Keywords Update program, type change, type correctness, update safey
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.7177; http://www.cs.orst.edu/~erwig/papers/HULA_RULE02.pdf
-
6
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming, D.1.3[Programming Techniques, ConcurrentProgramming—Parallel Programming, D.2.8 [Software Engineering, Metrics—complexity measures, performance measures General Terms Performance Keywords Auto-tuning, GPU, CUDA, OpenCL, Optimization, Belief Propagation
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.9753; http://www.eecis.udel.edu/~cavazos/autoTuneGpu.pdf
-
7
Autoři:
Přispěvatelé:
Zdroj: http://pages.cs.wisc.edu/~wrharris/publications/spreadsheet_table_transformations_from_examples.pdf.
Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming, I.2.2 [Artificial Intelligence, Program Synthesis General Terms Languages, Algorithms, Human Factors Keywords Program Synthesis, End-user Programming, Programming by Example, Spreadsheet Programming, Table Manipulation, User Intent
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.404.4002; http://pages.cs.wisc.edu/~wrharris/publications/spreadsheet_table_transformations_from_examples.pdf
-
8
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.1.2 [Programming Techniques, Automatic Programming, D.2.2 [Software Engineering, Tools and Techniques--wer interfaces, H.1.2 [Models and Prin- ciples, User/Machine Systems---human factors, 1.2.2 [Artificial Intelligence, Automatic Pro- gramming-program synthesis, 1.3.6 [Computer Graphics, Methodology and Techniques General Term, Human Factors Additional Key Words and Phrases, Constraints, direct manipulation, plausible inference, program- ming by example
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.460.2323; http://monet.cs.columbia.edu/courses/csw4170/resources/myersTOPLAS90.pdf
-
9
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Program- ming, I.2.2 [Artificial Intelligence, Program Synthesis Keywords Program Synthesis, Storyboard Programming, Data struc- ture
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.1550; http://people.csail.mit.edu/rishabh/papers/storyboardFSE11.pdf
-
10
Autoři: a další
Přispěvatelé: a další
Témata: D.1.2 [Programming Techniques, Automatic Programming, I.2.2 [Artificial Intelligence, Program Synthesis, K.3.2 [Learning, Concept Learning Keywords Program synthesis, Oracle-based learning, SMT, SAT
Popis souboru: application/pdf
-
11
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.4.6 Operating Systems, Security and Protection, D.1.2 Programming Techniques, Automatic Programming General Terms, Languages, Security Keywords, Cross-site Scripting, Type Systems
Popis souboru: application/pdf
-
12
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming, I.2.2 [Artificial Intelligence, Program Synthesis, K.3.2 [Learning, Concept Learning Keywords Program synthesis, Oracle-based learning, SMT, SAT
Popis souboru: application/pdf
-
13
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.2 [Programming Tech- niques, Automatic Programming- program modification, pro- gram transformation, D.1.3 [Programming Techniques, Concur- rent Programming- multi-threaded programming, D.2.7 [Soft- ware Engineering, Distribution, Maintenance, and Enhancement, D.3.1 [Programming Languages, Formal Definitions and Theory General Terms Languages, Typing Keywords Dynamic Software Update, Multi-Party Session Types, Distributed-Protocols
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.558.9972; http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf
-
14
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, G.4 [Mathematical software, Algorithm Design, Efficiency, User Interfaces, G.1.8 [Numerical analysis, Partial differential equations—Finite Element Methods, D.1.2 [Programming techniques, Automatic Programming General Terms, Algorithms, Design, Performance Additional Key Words and Phrases, DOLFIN, FEniCS, Code Generation, Form Compiler
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.207.4990; http://simula.no/research/sc/publications/Simula.SC.476/simula_pdf_file/
-
15
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.4.6 [Operating Systems, Security and Protection—invasive software, D.4.7 [Operating Systems, Organization and Design—distributed systems, D.1.2 [Programming Techniques, Automatic Programming—
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.5199; http://research.microsoft.com/users/livshits/papers/pdf/ccs09.pdf
-
16
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming, D.2.3 [Software Engineering
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.512.1751; http://www.lclnet.nl/publications/webdsl08.pdf
-
17
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming General Terms Algorithms, Design, Languages Keywords MPSoC, Pointers, Re-coding, System Specification
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.321; http://www.cecs.uci.edu/~papers/esweek07/codes/p33.pdf
-
18
Autoři:
Přispěvatelé:
Témata: D.1.2 [Programming Techniques, Automatic Programming General Terms Algorithms, Design, Languages Keywords MPSoC, Pointers, Re-coding, System Specification
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.1993; http://www.cecs.uci.edu/~doemer/publications/CODES_ISSS_07.pdf
-
19
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.1.2 [Programming Techniques, Automatic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—logic programming General Terms, Languages, Theory Additional Key Words and Phrases, Prolog, tabling, SLG-resolution
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.8927; http://www.cs.kuleuven.be/~dtai/publications/files/35050.pdf
-
20
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Program- ming, D.2.8 [Software Engineering, Metrics—Perfor- mance measures General Terms Algorithms, Languages, Measurement Keywords Java, JVM, dynamic bytecode instrumentation, program transformations, dynamic metrics, profiling
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.464.8660; http://www.inf.usi.ch/faculty/binder/documents/pppj07.pdf
Nájsť tento článok vo Web of Science