Výsledky vyhledávání - Automatic Programming—Program syn- thesis General Terms Languages*

Typedirected completion of partial expressions

Autoři: Daniel Perelman Sumit Gulwani Thomas Ball a další

Přispěvatelé: Daniel Perelman Sumit Gulwani Thomas Ball a další

Zdroj: http://research.microsoft.com/en-us/um/people/sumitg/pubs/pldi12.pdf.

Témata: Categories and Subject Descriptors D.2.6 [Software Engineer- ing, Programming Environments—Integrated Environments, D.2.13 [Software Engineering, Reusable Software—Reuse Models, I.2.2 [Artificial Intelligence, Automatic Programming—Program syn- thesis General Terms Languages, Experimentation Keywords program synthesis, partial expressions, code comple- tion

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.466.966
http://research.microsoft.com/en-us/um/people/sumitg/pubs/pldi12.pdf

Synthesizing Parallel Graph Programs via Automated Planning

Autoři: Dimitrios Prountzos Roman Manevich Keshav Pingali a další

Přispěvatelé: Dimitrios Prountzos Roman Manevich Keshav Pingali a další

Zdroj: http://iss.ices.utexas.edu/Publications/Papers/prountzos-2015-SPG.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming—Parallel Programming, I.2.2 [Artificial Intelligence, Automatic Programming—Program syn- thesis General Terms Languages, Performance, Verification Keywords Synthesis, Compiler Optimization, Concurrency, Par- allelism, Amorphous Data-parallelism, Irregular Programs

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.85
http://iss.ices.utexas.edu/Publications/Papers/prountzos-2015-SPG.pdf

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p

Témata: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

CURRICULUM 68.

Autoři: Nauarro, Silvio O.

Zdroj: Communications of the ACM; Mar1968, Vol. 11 Issue 3, p151-197, 47p

Témata: COMPUTER science, ACADEMIC programs, COMMITTEES, TECHNICAL specifications, CONTINUING education, HIGHER education

Korporace: ASSOCIATION for Computing Machinery

DEVELOPMENT OF THE ENTERPRISE MULTI-AGENT SIMULATION MODEL FOR THE PRODUCTION OF PLASTIC WINDOWS IN ORDER TO DEVELOP THE MARKETING STRATEGY.

Autoři: Aksyonov, Konstantin A. Ziomkovskaia, Polina E. Aksyonova, Olga P. a další

Zdroj: Proceedings of the International Multidisciplinary Scientific GeoConference SGEM; 2019, Vol. 19 Issue 1, p241-248, 8p

Témata: MARKETING strategy, PRICING, SYSTEMS software, SIMULATION methods & models, MULTIAGENT systems, INTELLIGENT agents

A Program Testing Assistant.

Autoři: Chapman, David

Zdroj: Communications of the ACM; Sep82, Vol. 25 Issue 9, p625-634, 10p

Témata: COMPUTER software testing, COMPUTER programming, DEBUGGING, COMPUTER science, INFORMATION technology, ALGORITHMS

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

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

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

A Survey of Computer Animation.

Autoři: Pueyo, Xavier Tost, Daniela

Zdroj: Computer Graphics Forum; Dec1988, Vol. 7 Issue 4, p281-300, 20p

Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

Autoři: Hongseok Yang

Resource Type: eBook.

Témata: Compilers (Computer programs), Computer science, Software engineering, Computer programming

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Trends in Functional Programming : 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers

Autoři: Jason Hemann Stephen Chang

Resource Type: eBook.

Témata: Functional programming (Computer science)--Congresses

Categories: COMPUTERS / Programming / General, COMPUTERS / Computer Architecture, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Programming Rust

Autoři: Jim Blandy Jason Orendorff Leonora F. S. Tindall

Resource Type: eBook.

Témata: Computer programming, Programming languages (Electronic computers)

Categories: COMPUTERS / Languages / General, COMPUTERS / Languages / C, COMPUTERS / Programming / Object Oriented, COMPUTERS / Programming / Parallel, COMPUTERS / Programming / Open Source

Programming Rust : Fast, Safe Systems Development

Autoři: Jim Blandy Jason Orendorff

Resource Type: eBook.

Témata: Programming languages (Electronic computers), Computer programming

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / General, COMPUTERS / Programming / Object Oriented

Moby Word Lists.

Autoři: Ward, Grady

Zdroj: Moby Word Lists; 3/1/2006, p1, 999p

Témata: REFERENCE books, ELECTRONIC publications, ELECTRONIC books, OPEN access publishing

Korporace: PROJECT Gutenberg (Organization)

Practical Aspects of Declarative Languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings

Autoři: Manuel Carro Ricardo Peña

Resource Type: eBook.

Témata: Compilers (Computer programs), Software engineering, Computer science, Computer programming

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II

Autoři: Dorina C. Petriu Nicolas Rouquette Oystein Haugen

Resource Type: eBook.

Témata: Software engineering, Computer engineering, Computer networks, Compilers (Computer programs), Computer programming, Computer systems

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Computational Thinking: A Perspective on Computer Science

Autoři: Zhiwei Xu Jialin Zhang

Resource Type: eBook.

Témata: Computer science, Computer logic

Categories: COMPUTERS / Computer Science, COMPUTERS / General, COMPUTERS / Networking / General, COMPUTERS / Programming / General

Innovative Techniques in Instruction Technology, E-learning, E-assessment and Education

Autoři: Magued Iskander

Resource Type: eBook.

Témata: Computer-assisted instruction

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, TECHNOLOGY & ENGINEERING / Electronics / General

Real Time Programming 1983 : Proceedings of the 12th IFAC/IFIP Workshop, Hatfield, UK, 29-31 March 1983

Autoři: G. M. Bull

Resource Type: eBook.

Témata: Real-time programming--Congresses

Categories: SCIENCE / Physics / General