Výsledky vyhľadávania - d.1.2 [programming techniques]: automation programming*

Harvard University

Autori: Kevin W. Hamlen Greg Morrisett Fred B. Schneider a ďalší

Prispievatelia: Kevin W. Hamlen Greg Morrisett Fred B. Schneider a ďalší

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

Predmety: 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 súboru: 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

Dostupnosť: 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.

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

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

Complexity Results in Revising UNITY Programs.

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

Predmety: REAL-time programming, ALGORITHMS, POLYNOMIALS, FUNCTION spaces, COMPUTER programming

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

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

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

BackMatter.

Autori: Pinedo, Michael L.

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

Native-2-Native.

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

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

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

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

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

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

Autori: Isaac Abraham

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Joseph Yiu

Typ zdroja: eBook.

Predmet: Microprocessors, Embedded computer systems

Kategórie: COMPUTERS / Hardware / Chips & Processors, TECHNOLOGY & ENGINEERING / Engineering (General)

Programming Mac OS X : A Guide for Unix Developers

Autori: O'Malley, Kevin

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Operating Systems / Mac OS

Computational Partial Differential Equations : Numerical Methods and Diffpack Programming

Autori: Hans P. Langtangen

Typ zdroja: eBook.

Predmet: Computer science, Mathematical analysis, Software engineering, Mathematics—Data processing, Computational intelligence, Mathematical physics

Kategórie: 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

Autori: William Bolton

Typ zdroja: eBook.

Predmet: Automatic control

Kategórie: TECHNOLOGY & ENGINEERING / Mechanical

Fundamentals of Supply Chain Theory

Autori: Lawrence V. Snyder Zuo-Jun Max Shen

Typ zdroja: eBook.

Predmet: Business logistics

Kategórie: 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

Autori: Alexander Nareyek

Typ zdroja: eBook.

Predmet: Intelligent agents (Computer software), Constraint programming (Computer science), Video games

Kategórie: 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

Autori: Peter Müller

Typ zdroja: eBook.

Predmet: Computer programming, Compilers (Computer programs), Software engineering, Computer science

Kategórie: 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

Autori: Norbert E. Fuchs

Typ zdroja: eBook.

Predmet: Computer programming, Artificial intelligence, Computer science, Machine theory

Kategórie: 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

Autori: Ute Schmid

Typ zdroja: eBook.

Predmet: Artificial intelligence, Social sciences, Humanities, Computer programming, Software engineering, Computer science, Machine theory

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

Tcl/Tk : A Developer's Guide

Autori: Clif Flynt

Typ zdroja: eBook.

Predmet: Computer programming, Tcl (Computer program language)

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Software Development & Engineering / General

Source Code Optimization Techniques for Data Flow Dominated Embedded Software

Autori: Heiko Falk Peter Marwedel

Typ zdroja: eBook.

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

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