Výsledky vyhledávání - "D.1.2 [Programming Techniques]: Automatic Programming"

Categories and Subject Descriptors D.1.2 [PROGRAMMING TECHNIQUES]: Automatic Programming General Terms Language, Design

Autoři: Kamin Whitehouse The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Kamin Whitehouse The Pennsylvania State University CiteSeerX Archives

Zdroj: http://research.microsoft.com/~zhao/pubs/AutoCompositionPosterSensys05.pdf.

Témata: declarative query, service architecture

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.373; http://research.microsoft.com/~zhao/pubs/AutoCompositionPosterSensys05.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.373
http://research.microsoft.com/~zhao/pubs/AutoCompositionPosterSensys05.pdf

Categories and Subject Descriptors D.1.2 [PROGRAMMING TECHNIQUES]: Automatic Programming General Terms Language, Design

Autoři: Kamin Whitehouse The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Kamin Whitehouse The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.virginia.edu/~whitehouse/research/semanticStreams/sensys05autocomposition.pdf.

Témata: declarative query, service architecture

Popis souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.4047
http://www.cs.virginia.edu/~whitehouse/research/semanticStreams/sensys05autocomposition.pdf

Native-2-Native.

Autoři: Byalik, Antuan Chadha, Sanchit Tilevich, Eli

Zdroj: ACM / SIGPLAN Notices; Mar2016, Vol. 51 Issue 3, p99-108, 10p

Optimizing Synthesis with Metasketches.

Autoři: Bornholt, James Torlak, Emina Grossman, Dan a další

Zdroj: ACM / SIGPLAN Notices; Jan2016, Vol. 51 Issue 1, p775-788, 14p

Transforming Spreadsheet Data Types using Examples.

Autoři: Singh, Rishabh Gulwani, Sumit

Zdroj: ACM / SIGPLAN Notices; Jan2016, Vol. 51 Issue 1, p343-356, 14p

Auto-tuning a high-level language targeted to GPU codes.

Autoři: Grauer-Gray, Scott Xu, Lifan Searles, Robert a další

Zdroj: 2012 Innovative Parallel Computing (InPar); 1/ 1/2012, p1-10, 10p

A Lightweight Method for Automated Design of Convergence in Network Protocols.

Autoři: FARAHAT, ALY EBNENASIR, ALI

Zdroj: ACM Transactions on Autonomous & Adaptive Systems; 2012, Vol. 7 Issue 4, p38:1-38:36, 36p, 4 Diagrams, 7 Charts, 10 Graphs

Témata: SELF-stabilization (Computer science), TECHNOLOGY convergence, AUTOMATION, FAULT tolerance (Engineering), PROBLEM solving

Interactive Realizers: A New Approach to Program Extraction from Nonconstructive Proofs.

Autoři: Berardi, Stefano De'Liguoro, Ugo

Zdroj: ACM Transactions on Computational Logic; Apr2012, Vol. 13 Issue 2, p11:1-11:21, 21p

Témata: ARITHMETIC, INTERACTIVE learning, THEORY of knowledge, HERMENEUTICS, COMPUTER programming, TRANSLATING & interpreting

Morphing: Structurally Shaping a Class by Reflecting on Others.

Autoři: Shan Shan Huang Smaragdakis, Yannis

Zdroj: ACM Transactions on Programming Languages & Systems; Mar2011, Vol. 33 Issue 2, p6-6:44, 44p

Témata: MORPHING (Computer animation), SEMANTIC computing, COMPUTER programmers, JAVA programming language, DOCUMENT markup languages, INTERNET programming, GENERIC programming (Computer science), CODING theory

J-Orchestra: Enhancing Java Programs with Distribution Capabilities.

Autoři: TILEVICH, ELI SMARAGDAKIS, YANNIS

Zdroj: ACM Transactions on Software Engineering & Methodology; Aug2009, Vol. 19 Issue 1, p1:1-1:40, 40p, 1 Black and White Photograph, 6 Diagrams

Témata: JAVA programming language, SYNCHRONIZATION, GRAPHICAL user interfaces, DISTRIBUTED computing, MIDDLEWARE, RMI (Computer architecture), CASE studies

Complexity Results in Revising UNITY Programs.

Autoři: BONAKDARPOUR, BORZOO EBNENASIR, ALI KULKARNI, SANDEEP S.

Zdroj: ACM Transactions on Autonomous & Adaptive Systems; 2009, Vol. 4 Issue 1, p5-5.28, 28p, 1 Diagram

Témata: REAL-time programming, ALGORITHMS, POLYNOMIALS, FUNCTION spaces, COMPUTER programming

An Example Proof of Correctness for a Collaboration-Based Design

Autoři: Laura K. Dillon R. E. Kurt Stirewalt The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Laura K. Dillon R. E. Kurt Stirewalt The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cse.msu.edu/~ldillon/Sel_pubs/fse01-subm-tr.ps.

Témata: Coding Tools and Techniques---Object-oriented Programming Keywords Amalia, Collaboration-based design, High-fidelity formal models, Inference graphs, Program transformations, Proofs of correctness

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.3756

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.3756
http://www.cse.msu.edu/~ldillon/Sel_pubs/fse01-subm-tr.ps

Incremental Analysis of Constraint Logic Programs

Autoři: Manuel Hermenegildo German Puebla Kim Marriott a další

Přispěvatelé: Manuel Hermenegildo German Puebla Kim Marriott a další

Zdroj: http://clip.dia.fi.upm.es/papers/incanal-toplas.pdf.

Témata: programs General Terms, Languages Additional Key Words and Phrases, abstract interpretation, constraint logic programming, incremental computation, static analysis

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.79.7026

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.79.7026
http://clip.dia.fi.upm.es/papers/incanal-toplas.pdf

Users' (Dis)satisfaction with the PersonalTV Application: Combining Objective and Subjective Data.

Autoři: DE MOOR, KATRIEN DE PESSEMIER, TOON MECHANT, PETER a další

Zdroj: Computers in Entertainment; Nov2011, Vol. 9 Issue 3, p18:1-18:22, 22p, 2 Color Photographs, 1 Diagram, 3 Graphs

Témata: STREAMING video & television, COMPUTER users, COMPUTER systems, ENTERTAINMENT technology

Korporace: YOUTUBE LLC

ABSTRACT Abstract Specialization and its Applications

Autoři: Germán Puebla Manuel Hermenegildo The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Germán Puebla Manuel Hermenegildo The Pennsylvania State University CiteSeerX Archives

Zdroj: http://clip.dia.fi.upm.es/papers/spec-inv-pepm03.pdf.

Témata: Languages, Performance, Theory Keywords Abstract Interpretation, Program Specialization, Partial Evaluation, Program Optimization, Program Parallelization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.502

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.502
http://clip.dia.fi.upm.es/papers/spec-inv-pepm03.pdf