Výsledky vyhľadávania - d.1.2 [programming techniques]: (automatic OR automation) programming~
-
1
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: 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
-
2
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
-
3
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming, I.2.2 [Artificial Intelligence
Popis súboru: application/pdf
-
4
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
-
7
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.9753; http://www.eecis.udel.edu/~cavazos/autoTuneGpu.pdf
-
8
Autori:
Prispievatelia:
Zdroj: http://pages.cs.wisc.edu/~wrharris/publications/spreadsheet_table_transformations_from_examples.pdf.
Predmety: 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 súboru: 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
-
9
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
Autori:
Prispievatelia:
Predmety: declarative query, service architecture
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.373; http://research.microsoft.com/~zhao/pubs/AutoCompositionPosterSensys05.pdf
-
11
Autori:
Prispievatelia:
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.3054; http://semais.org/papers/Presentations/Muenter.pdf
-
12
Autori:
Prispievatelia:
Predmety: Model-driven UI Generation, Faceted Browsing
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.263; http://semais.org/papers/Hussein1.pdf
-
13
Autori:
Prispievatelia:
Predmety: declarative query, service architecture
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.4047; http://www.cs.virginia.edu/~whitehouse/research/semanticStreams/sensys05autocomposition.pdf
-
14
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
-
15
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
-
16
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
-
17
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
-
18
Autori:
Prispievatelia:
Predmety: 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/
-
19
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: 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
-
20
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming, D.2.3 [Software Engineering
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.512.1751; http://www.lclnet.nl/publications/webdsl08.pdf
Nájsť tento článok vo Web of Science