Вы здесь

Главная

синтез

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

Optimization of Rule-Based Systems Using State Space Graphs
Partial Deduction in the Framework of Structural Synthesis of Programs
Partitioning for DSP Software Synthesis
Pattern Recognition: Proc./26th DAGM Symposium, Tuebingen, Germany, August/September 2004
Permutable Agents in Process Algebras
Perspectives of System Informatics: Proc./4th Intern. A.Ershov Memorial Conf., PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2001
Perspectives of System Informatics: Proc./5th Intern. Andrei Ershov Memorial Conf., PSI 2003, Akademgorodok, Novosibirsk, Russia, July 2003
Polynomial Algorithms for the Synthesis of Bounded Nets
Pragmatics in the Synthesis of Logic Programs
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures
Program Development in Computational Logic: A Decade of Research in Logic-Based Program Development
Programming Languages for Computer Music Synthesis, Performance, and Composition
Program Synthesis Based on the Equivalent Transformation Computation Model
Program Synthesis for Multi-agent Question Answering
Program Synthesis from Film Specifications
Program Synthesis in the SPORA system
Program synthesis using realizability
Program transformation by proof in constructive framework
Proofs-as-Imperative-Programs: Application to Synthesis of Contracts
Prosodic Control to Express Emotions for Man-Machine Speech Interaction
QuickTime - синтез видео и ПК
Reachability in One-Dimensional Controlled Polynomial Dynamical Systems
Reaction-Diffusion Textures
Realizability and Synthesis of Reactive Modules
Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis
Regular Array Synthesis Using ALPHA
Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax
Reversible Computation: Proc./7th International Conference, RC 2015, Grenoble, France, July 2015
Rewriting with Constraints in T-Ruby
S4CAD: A Software Tool for Synthesis, Analysis and Modeling of Systolic Structures
Semantics and Transformations in Formal Synthesis at System Level
Semantics of a Specification Language
Sequences and Their Applications: SETA 2006: Proc./4th International Conference. Beijing, China, September 2006
Service Specification and Its Protocol Specifications in LOTOS - A Survey for Synthesis and Execution
SKIL: A System for Programming with Proofs
Software and Compilers for Embedded Systems: Proc./8th International Workshop, SCOPES 2004. Amsterdam, The Netherlands, September 2004
Software Synthesis for Real-Time Information Processing Systems
Some Synthesis Aspects for Data Parallel Programming
Specification and Analysis of a Security Management System
Spot Noise
State Assignment for Hardwired VLSI Control Units
Statistical Language and Speech Processimg: Proc./3rd International Conference, SLSP 2015, Budapest, Hungary, November 2015
Structured Scheduling of Recurrence Equations: Theory and Practice
Supervisory Control of Finite State Machines
Survey of Current Speech Technology
Synthese de Circuits Digitaux Synchrones par Transformation de Programmes applicatifs
Synthesis and Transformation of logic Programs in the WHELK Proof Development System
Synthesis from Knowledge-Based Specifications
Synthesis of a Family of Recursive Sorting Procedures
Synthesis of Concurrent Systems with Many Similar Processes