Вы здесь

Главная

синтез

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

Generation of Efficient Programs for Solving Maximum Multi-Marking Problems
Generic System Support for Deductive Program Development
Genetic Programming: Proc./ European Conf., EuroGP 2000. Edinburgh, Scotland, UK, April 2000
Heterogeneous Analysis and Verification for Distributed Systems
Higher-Level Hardware Synthesis
High-level Nets and Linear Logic
High Level Synthesis of Synchronous Parallel Controllers
Image Analysis and Recognition. Part I: Proc./International Conference, ICIAR 2004. Porto, Portugal, September/October 2004
Implementing Attribute Grammars by Computational Models
Implementing the Synthesis of Properties in Unfold/Fold Transformations
Implicit Program Synthesis by a Reversible Metainterpreter
Improving the Whelk System: A Type-theoretic Reconstruction
Incremental Learning and Generalization Ability of Artificial Neural Network Trained by Fahlman and Lebiere`s Learning Algorithm
Inductive Synthesis of Functional Programs
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes
Infinitesimal vs.Discrete Methods in Neural Network Synthesis
Interactive Synthesis of Definite-Clause Grammars
Knowledge-based Programming Environments
Knowledge-based Program Synthesis for Computer Vision
LEMMA: A System for Automated Synthesis of Recursive Programs in Equational Theories
Le projet ExploFormes quelques pas vers la modelisation declarative de formes
Logic-Based Program Synthesis and Transformation
Logic Based Program Synthesis and Transformation: Proc./10th Intern. Workshop, LOPSTR 2000, London, UK, July 2000
Logic Based Program Synthesis and Transformation: Proc./11th Intern. Workshop, LOPSTR 2001, Paphos, Cyprus, November 2001
Logic-Based Program Synthesis and Transformation: Proc./8th Intern. Workshop, LOPSTR 98. Manchester, UK, June 1998
Logic Based Program Synthesis and Transformation: Revised Selected Papers/12th Intern. Workshop, LOPSTR 2002, Madrid, Spain, September 2002
Logic Based Program Synthesis and Transformation: Revised Selected Papers/ 13th International Symposium, LOPSTR 2003. Uppsala,Sweden,August 2003
Logic Based Program Synthesis and Transformation: Revised Selected Papers/14th International Symposium, LOPSTR 2004. Verona, Italy, August 2004
Logic Frameworks for Logic Programs
Logic Program Synthesis and Transformation: Proc./5th Intern. Workshop, LOPSTR 95. Utrecht, The Netherlands, September 1995
Logic Program Synthesis and Transformation: Proc./6th Intern. Workshop, LOPSTR 96. Stockholm, Sweden, August 1996
Logic Program Synthesis and Transformation: Proc./7th Intern. Workshop, LOPSTR 97. Leuven, Belgium, July 1997
Methods for Synthesizing Testable Sequential Circuits
Modeles Comportementaux
Modelling System Specifications on a Finite State Machine
Multiphase Multirate Arrays
Negation and Control in Automatically Generated Logic Programs
New Trend and Future Issues of Hardware Description Language and High-Level Synthesis
Numeric Types in Formal Synthesis
NUT - an object oriented language
On Circuits and Numbers
On Correct Program Schemas
On Specification Frameworks and Deductive Synthesis of Logic Programs
On the Border Between Functional Programming and Program Synthesis
On the Foundations of Computing Science
On the Synthesis of Discrete Controllers for Timed Systems
On the Synthesis of Parallel Programs from Tensor Product Formulas for Block Recursive Algorithms
On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects
On Well Behavedness of BP Schemes
Optimization of Multiple-Valued Logic Functions Based on Petri Nets