搜索结果: 1-5 共查到“计算机软件 synthesis”相关记录5条 . 查询时间(0.261 秒)
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 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...
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...