Вы здесь

Главная

синтез

Связанные издания:

Achievements and Prospects of Program Synthesis
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
A Complete Method for the Synthesis of Linear Ranking Functions
Advancements in Symbolic Traversal Techniques
Advances in Nonlinear Speech Processing: Revised Selected Papers/International Conference on Nonlinear Speech Processing, NOLISP 2007. Paris, France, May 2007
A Formal Approach to Deductive Synthesis of Constraint Logic Programs
A Formal Framework for Synthesis and Verification of Logic Programs
A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Pragrams
A Hardware Implementation of Pure Esterel
A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets
Algorithms for Synthezing Reactive Systems: A Perspective
A Method for Compiling and Executing Expressive Assertions
A Method to Implement Qualitative Knowledge in Multi-Layered Neural Network
A Multi-level Approach to Program Synthesis
An Alternative Solution to a Problem on Self-Stabilization
An Analysis/Synthesis Language with Learning Strategies
An Approach to Formalization of Data Flow Graphs
An Approach to Symbolic Test Generation
An Automata-Theoretic Approach to Fair Realizability and Synthesis
An Automated Procedure for Synthesis of Systolic and Wavefront Arrays
A New Approach for Protocol Synthesis Based on LOTOS
A New Approach to Schedule Operations Across Nested-ifs and Nested-loops
An Extended Classification of Inter-instruction Dependency and Its Application in Automatic Synthesis of Pipelined Processors
An Improvement on the Automatic Tool for Relational Database Design
Applications of Structural Synthesis of Programs
A Pragmatic Approach to Software Synthesis
Architectures Paralleles pour la Synthese d Images
Artificial Visual Speech Synchronized with a Speech Synthesis System
A Specification Framework for Data Aggregates
Aspects for Synthesizing Applications by Refinement
Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday
A Stochastic Framework for Co-synthesis of Real Time Systems
A Survey of Formal Software Development Methods
A Systolizing Compilation Scheme for Nested Loops with Linear Bounds
A Theoretical Foundation of Program Synthesis by Equivalent Transformation
A Tutorial on Synthesis of Logic Programs from Specifications
Automated Program Synthesis for Java Programming Language
Automated Synthesis of Interface Adapters for Reusable Classes
Automated Synthesis of Mixed-Mode (Asynchronous and Synchronous) Systems
Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives
Automated Technology for Verification and Analysis: Proc./5th Intrn. Symposium, ATVA 2007. Tokyu, Japan, October 2007
Automated Technology for Verification and Analysis: Proc./6th International Symposium, ATVA 2008. Seoul, Korea, October 2008
Automatical Synthesis of Programs with Recursions
Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance
Automatic Generation and Use of Abstract Structure Operators
Automatic Motion Planninng for Complex Articulated Bodies
Automatic Program Synthesis on the Basis of Data Semantics Analysis
Automatic Synthesis of Design Plans in METAFrame
Automatic Synthesis of Real Time Systems
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs