搜索结果: 1-15 共查到“计算机科学技术 Synthesis”相关记录16条 . 查询时间(0.109 秒)
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data typ...
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a representation of the ...
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
ISA specification program synthesis x86-64
2016/5/24
The x86-64 ISA sits at the bottom of the software stack of most desktop and server software. Because of its importance,many software analysis and verification tools depend, either explicitly or implic...
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach,abstract data type...
GPCAD: A tool for CMOS op-amp synthesis
Automation components transistors operational amplifiers design variables and functions
2015/8/11
We present a method for optimizing and automating component and transistor sizing for CMOS operational amplifiers. We observe that a wide variety of performance measures can be formulated as posynomia...
A Framework for High Level Synthesis Using Taylor Decomosition System
Applied sciences High level synthesis Taylor decomposition systems Taylor expansion diagram Data-flow Arithmetic-intensive designs
2014/11/7
This thesis extends the work and application of Taylor Expansion Diagrams (TED) as a framework for high level synthesis and verification of data-flow and arithmetic-intensive designs. It shows that TE...
A More Effective Technique of Design Synthesis for MEMS with Expected Performance
MEMS Design Synthesis Direct Solution Algorithm Genetic Algorithms Simulated Annealing Comparing
2013/1/28
A design synthesis technique based on sensitivity for Micro-Electro-Mechanical Systems (MEMS) proposed. This new technique can be called Sensitivity-Based Direct Solution Algorithm (DSA) of design syn...
The main objective of this paper is to convert the written multilingual text into machine generated synthetic speech. This paper is proposed in order to provide a complete multilingual speech synthesi...
Application of a Sign Language Synthesis System in Digital Library Services
sign language synthesis digital library on-line seminar sign language presentation
2013/1/29
Information Accessibility for disabled people is one of the most important design criteria for the China National Digital Library (CNDL) development. Sign language synthesis systems are effective to p...
A Corpus-Based Concatenative Speech Synthesis System for Turkish
Corpus-Based Concatenative Speech Synthesis System Turkish
2009/7/28
Speech synthesis is the process of converting written text into machine-generated synthetic speech. Concatenative speech synthesis systems form utterances by concatenating pre-recorded speech units. C...
A New Petri-Net-Based Synthesis Technique for Supervisory Control of Discrete Event Systems
Supervisory Control Petri Nets Discrete Event Systems (DES)
2009/7/28
A new Petri-net-based top-down synthesis technique for supervisory control of Discrete Event Systems (DES) is proposed to solve the forbidden state problem. The supervisors obtained are compiled super...
Joint video/depth rate allocation for 3D video coding based on view synthesis distortion model
3D video coding Rate allocation Distortion model View synthesis
2013/7/16
Joint video/depth rate allocation is an important optimization problem in 3D video coding. To address this problem, this paper proposes a distortion model to evaluate the synthesized view without acce...
New branched vibrating systems as result of synthesis of selected class of characteristics
Applied mechanics Distribution characteristic into partial fraction Vibrating systems
2010/2/10
Purpose: of this paper is the application of the synthesis method according to realization of mobility or immobility function into partial fraction when the level of the denominator of characteristic ...
Dynamic Texture Synthesis Using Motion Distribution Statistics
Dynamic Texture Synthesis Motion Distribution Statistics
2014/3/11
In this paper we propose a motion based approach for synthesizing dynamic textures. Dynamic textures are natural phenomenon characterized by their distinctive motion patterns. Synthesis of these textu...
HandTalker II: A Chinese Sign language Recognition and Synthesis System,
Chinese Sign language Recognition Synthesis System
2010/12/14
This paper presents a Chinese sign language/spoken language dialog system based on the technique of large
vocabulary continuous Chinese sign language recognition (SLR) and Chinese sign language synth...