366 search results - page 21 / 74 » Synthesis: Words and Traces |
DAC
1995
ACM
14 years 23 hour ago
1995
ACM
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...
FORMATS
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, we focus on the synthesis of secure timed systems which are given by timed automata. The security property that the system must satisfy is a non-interference propert...
EURODAC
1995
IEEE
14 years 20 hour ago
1995
IEEE
DPLAYOUT is a layout synthesis tool for bit-sliced datapath designs targeting standard-cell libraries. We developed fast and efficient heuristics for placing the cells in a bit-s...
LREC
2010
13 years 10 months ago
2010
The present paper outlines the Vergina speech database, which was developed in support of research and development of corpus-based unit selection and statistical parametric speech...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
In this paper, we present a novel approach to relax the constraint of stereo-data which is needed in a series of algorithms for noise-robust speech recognition. As a demonstration...