Výsledky vyhledávání - d.1.2 [programming techniques]: automation programming~

Harvard University

Autoři: Kevin W. Hamlen Greg Morrisett Fred B. Schneider a další

Přispěvatelé: Kevin W. Hamlen Greg Morrisett Fred B. Schneider a další

Zdroj: http://www.cs.cornell.edu/fbs/publications/EnfClasses.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.9992
http://www.cs.cornell.edu/fbs/publications/EnfClasses.pdf

Domain-Specific Languages and Program Generation with Meta-AspectJ.

Autoři: SHAN SHAN HUANG ZOOK, DAVID SMARAGDAKIS, YANNIS

Zdroj: ACM Transactions on Software Engineering & Methodology; Oct2008, Vol. 18 Issue 2, p6:1-6:32, 32p, 1 Chart

Témata: DESIGN templates, JAVA programming language, COMPUTER interfaces, PARSING (Computer grammar), SYNTAX in programming languages

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

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

BackMatter.

Autoři: Pinedo, Michael L.

Zdroj: Scheduling (9780387789347); 2008, p557-671, 115p

Native-2-Native.

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

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

NOTES ON THE ROLE OF THE INCREMENTALITY IN SOFTWARE ENGINEERING.

Autoři: SAMUELIS, LADISLAV SZABÓ, CSABA

Zdroj: Studia Universitatis Babeş-Bolyai, Informatica; 2006, Vol. 51 Issue 2, p11-18, 8p

Optimizations for Quadrature Representations of Finite Element Tensors through Automated Code Generation.

Autoři: Ølgaard, Kristian B. Wells, Garth N.

Zdroj: ACM Transactions on Mathematical Software; 2011, Vol. 37 Issue 1, p8-8:23, 23p, 11 Charts

Témata: FINITE element method, MATHEMATICAL notation, CALCULUS of tensors, TENSOR algebra, CODE generators, CODING theory

Get Programming with F# : A Guide for .NET Developers

Autoři: Isaac Abraham

Resource Type: eBook.

Témata: Microsoft .NET Framework, F? (Computer program language), Application software--Development, Functional programming (Computer science)

Categories: COMPUTERS / Languages / General, COMPUTERS / General, COMPUTERS / Programming / General, COMPUTERS / Languages / Visual BASIC, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Languages / C#, COMPUTERS / Programming / Open Source, COMPUTERS / Languages / .NET

The Definitive Guide to ARM® Cortex®-M0 and Cortex-M0+ Processors

Autoři: Joseph Yiu

Resource Type: eBook.

Témata: Microprocessors, Embedded computer systems

Categories: COMPUTERS / Hardware / Chips & Processors, TECHNOLOGY & ENGINEERING / Engineering (General)

Programming Mac OS X : A Guide for Unix Developers

Autoři: O'Malley, Kevin

Resource Type: eBook.

Témata: Operating systems (Computers), Macintosh (Computer)--Programming

Categories: COMPUTERS / Operating Systems / Mac OS

Computational Partial Differential Equations : Numerical Methods and Diffpack Programming

Autoři: Hans P. Langtangen

Resource Type: eBook.

Témata: Computer science, Mathematical analysis, Software engineering, Mathematics—Data processing, Computational intelligence, Mathematical physics

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Mathematical Analysis, SCIENCE / Physics / Mathematical & Computational, TECHNOLOGY & ENGINEERING / Engineering (General), MATHEMATICS / Numerical Analysis

Instrumentation and Control Systems

Autoři: William Bolton

Resource Type: eBook.

Témata: Automatic control

Categories: TECHNOLOGY & ENGINEERING / Mechanical

Fundamentals of Supply Chain Theory

Autoři: Lawrence V. Snyder Zuo-Jun Max Shen

Resource Type: eBook.

Témata: Business logistics

Categories: BUSINESS & ECONOMICS / Production & Operations Management

Constraint-Based Agents : An Architecture for Constraint-Based Modeling and Local-Search-Based Reasoning for Planning and Scheduling in Open and Dynamic Worlds

Autoři: Alexander Nareyek

Resource Type: eBook.

Témata: Intelligent agents (Computer software), Constraint programming (Computer science), Video games

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms, SCIENCE / System Theory

Modular Specification and Verification of Object-Oriented Programs

Autoři: Peter Müller

Resource Type: eBook.

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

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

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

Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning

Autoři: Ute Schmid

Resource Type: eBook.

Témata: Artificial intelligence, Social sciences, Humanities, Computer programming, Software engineering, Computer science, Machine theory

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

Tcl/Tk : A Developer's Guide

Autoři: Clif Flynt

Resource Type: eBook.

Témata: Computer programming, Tcl (Computer program language)

Categories: COMPUTERS / Languages / General, COMPUTERS / Software Development & Engineering / General

Source Code Optimization Techniques for Data Flow Dominated Embedded Software

Autoři: Heiko Falk Peter Marwedel

Resource Type: eBook.

Témata: Software engineering, Computer science, Electrical engineering, Compilers (Computer programs), Computers, Special purpose, Computer-aided engineering

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Design, Graphics & Media / CAD-CAM, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, TECHNOLOGY & ENGINEERING / Electrical