Search Results - d.1.2 [programming techniques]: automation programming

Harvard University

Authors: Kevin W. Hamlen Greg Morrisett Fred B. Schneider et al.

Contributors: Kevin W. Hamlen Greg Morrisett Fred B. Schneider et al.

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

Subject Terms: 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

File Description: 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

Availability: 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.

Authors: SHAN SHAN HUANG ZOOK, DAVID SMARAGDAKIS, YANNIS

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

Subject Terms: DESIGN templates, JAVA programming language, COMPUTER interfaces, PARSING (Computer grammar), SYNTAX in programming languages

Complexity Results in Revising UNITY Programs.

Authors: BONAKDARPOUR, BORZOO EBNENASIR, ALI KULKARNI, SANDEEP S.

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

Subject Terms: REAL-time programming, ALGORITHMS, POLYNOMIALS, FUNCTION spaces, COMPUTER programming

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

Authors: FARAHAT, ALY EBNENASIR, ALI

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

Subject Terms: SELF-stabilization (Computer science), TECHNOLOGY convergence, AUTOMATION, FAULT tolerance (Engineering), PROBLEM solving

BackMatter.

Authors: Pinedo, Michael L.

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

Native-2-Native.

Authors: Byalik, Antuan Chadha, Sanchit Tilevich, Eli

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

NOTES ON THE ROLE OF THE INCREMENTALITY IN SOFTWARE ENGINEERING.

Authors: SAMUELIS, LADISLAV SZABÓ, CSABA

Source: 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.

Authors: Ølgaard, Kristian B. Wells, Garth N.

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

Subject Terms: FINITE element method, MATHEMATICAL notation, CALCULUS of tensors, TENSOR algebra, CODE generators, CODING theory

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

Authors: Isaac Abraham

Resource Type: eBook.

Subjects: 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

Authors: Joseph Yiu

Resource Type: eBook.

Subjects: Microprocessors, Embedded computer systems

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

Programming Mac OS X : A Guide for Unix Developers

Authors: O'Malley, Kevin

Resource Type: eBook.

Subjects: Operating systems (Computers), Macintosh (Computer)--Programming

Categories: COMPUTERS / Operating Systems / Mac OS

Computational Partial Differential Equations : Numerical Methods and Diffpack Programming

Authors: Hans P. Langtangen

Resource Type: eBook.

Subjects: 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

Authors: William Bolton

Resource Type: eBook.

Subjects: Automatic control

Categories: TECHNOLOGY & ENGINEERING / Mechanical

Fundamentals of Supply Chain Theory

Authors: Lawrence V. Snyder Zuo-Jun Max Shen

Resource Type: eBook.

Subjects: 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

Authors: Alexander Nareyek

Resource Type: eBook.

Subjects: 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

Authors: Peter Müller

Resource Type: eBook.

Subjects: 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

Authors: Norbert E. Fuchs

Resource Type: eBook.

Subjects: 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

Authors: Ute Schmid

Resource Type: eBook.

Subjects: 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

Authors: Clif Flynt

Resource Type: eBook.

Subjects: 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

Authors: Heiko Falk Peter Marwedel

Resource Type: eBook.

Subjects: 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