Výsledky vyhledávání - i.2.2 automation programming. program transformation

Compiling Real Time Functional Reactive Programming

Autoři: Dana N. Xu Siau-cheng Khoo The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Dana N. Xu Siau-cheng Khoo The Pennsylvania State University CiteSeerX Archives

Zdroj: http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.4563; http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.4563
http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf

From Datalog Rules to Efficient Programs with Time and Space Guarantees.

Autoři: LIU, YANHONG A. STOLLER, SCOTT D.

Zdroj: ACM Transactions on Programming Languages & Systems; Aug2009, Vol. 31 Issue 6, p21-21:38, 38p, 2 Diagrams, 7 Charts, 3 Graphs

Témata: DATA structures, INDEXING, PROGRAM transformation, RECURSION theory, ALGORITHMS, COMPUTATIONAL complexity

Automated Termination Proofs for Logic Programs by Term Rewriting.

Autoři: Schneider-Kamp, Peter Giesl, Jürgen Serebrenik, Alexander a další

Zdroj: ACM Transactions on Computational Logic; Oct2009, Vol. 11 Issue 1, p2-2:52, 52p, 4 Charts

Témata: REWRITING systems (Computer science), COMPUTER software termination, LOGIC programming, MATHEMATICAL transformations, INFINITY (Mathematics)

Logic-Based Program Synthesis and Transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Autoři: Germán Puebla

Resource Type: eBook.

Témata: Logic programming--Congresses

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

From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite.

Autoři: Get, Jerome Hugues Get, Bechir Zalila Get, Laurent Pautet a další

Zdroj: ACM Transactions on Embedded Computing Systems; Jul2008, Vol. 7 Issue 4, p42-42:25, 25p, 5 Diagrams, 1 Chart

Témata: EMBEDDED computer systems, RAPID prototyping, AUTOMATION, PROGRAMMING languages, SYSTEMS on a chip

Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings

Autoři: Norbert E. Fuchs

Resource Type: eBook.

Témata: Computer programming, Artificial intelligence, Computer science, Machine theory

Categories: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science

Formal Methods: Practice and Experience.

Autoři: WOODCOCK, JIM LARSEN, PETER GORM BICARREGUI, JUAN a další

Zdroj: ACM Computing Surveys; Oct2009, Vol. 41 Issue 4, p19:1-19:36, 36p, 4 Charts, 10 Graphs

Témata: FORMAL methods (Computer science), INDUSTRIAL surveys, SOFTWARE verification, USER-centered system design, SOFTWARE architecture

Termination of Rewriting under Strategies.

Autoři: Gnaedig, Isabelle Inria, Hélène Kirchner

Zdroj: ACM Transactions on Computational Logic; Feb2009, Vol. 10 Issue 2, p10-10.52, 52p, 6 Charts

Témata: ALGORITHMS, ORDER (Grammar), LANGUAGE & languages, ABSTRACT thought, COMPUTER software termination, CONFIRMATION (Logic)

FrontMatter.

Zdroj: Static Analysis (9783540691631); 2008, p1-1, 1p

Improving a Country’s Education : PISA 2018 Results in 10 Countries

Autoři: Nuno Crato

Resource Type: eBook.

Témata: International education, Comparative education, Education, Education and state

Categories: EDUCATION / Testing & Measurement, EDUCATION / Educational Policy & Reform / General, EDUCATION / Comparative

FrontMatter.

Zdroj: Pillars of Computer Science; 2008, p1-1, 1p

Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Autoři: Roberto Giacobazzi Josh Berdine Isabella Mastroeni

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General

FrontMatter.

Zdroj: Transactions on Aspect-oriented Software Development VI; 2009, p1-1, 1p

Transition to Sustainable Energy Technologies : Pathways, Sources, Mobility

Autoři: Carlo Villante Sonia Dell'Aversano Stefano Ranieri

Resource Type: eBook.

Témata: Renewable energy sources

Categories: TECHNOLOGY & ENGINEERING / Power Resources / Alternative & Renewable, SCIENCE / Environmental Science, TECHNOLOGY & ENGINEERING / Mechanical

The Routledge Handbook of Museums, Media and Communication

Autoři: Kirsten Drotner Vince Dziekan Ross Parry a další

Resource Type: eBook.

Témata: Museums--Philosophy, Communication in museums, Museums--Technological innovations, Museum techniques, Mass media and culture, Interactive multimedia

Categories: BUSINESS & ECONOMICS / Museum Administration & Museology, REFERENCE / Research, SOCIAL SCIENCE / Archaeology, SOCIAL SCIENCE / Media Studies, TRAVEL / Museums, Tours, Points of Interest

Ergonomics For People With Disabilities : Design For Accessibility

Autoři: Aleksandra Polak-Sopinska Jan Królikowski

Resource Type: eBook.

Témata: Barrier-free design, Human engineering

Categories: PHILOSOPHY / General, ARCHITECTURE / General, BUSINESS & ECONOMICS / Management, COMPUTERS / General, COMPUTERS / Computer Science

Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Autoři: Kenneth McMillan Xavier Rival

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General

Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Autoři: María Alpuente

Resource Type: eBook.

Témata: Software engineering, Computer programming, Computer science, Artificial intelligence, Algorithms

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Autoři: Michael Hanus

Resource Type: eBook.

Témata: Logic programming--Congresses

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

Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Autoři: Andy King

Resource Type: eBook.

Témata: Logic programming--Congresses

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