Sciweavers

766 search results - page 56 / 154
» Synthesis of Synchronous Interfaces
Sort
View
CAV
2010
Springer
223views Hardware» more  CAV 2010»
15 years 10 months ago
RATSY - A New Requirements Analysis Tool with Synthesis
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
Roderick Bloem, Alessandro Cimatti, Karin Greimel,...
ASYNC
2001
IEEE
164views Hardware» more  ASYNC 2001»
15 years 10 months ago
Synthesis and Implementation of a Signal-Type Asynchronous Data Communication Mechanism
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
Alexandre Yakovlev, Fei Xia, Delong Shang
ICCHP
2010
Springer
15 years 10 months ago
Design and Development of Spoken Dialog Systems Incorporating Speech Synthesis of Viennese Varieties
Abstract. This paper describes our work on the design and development of a spoken dialog system, which uses synthesized speech of various different Viennese varieties. In a previo...
Michael Pucher, Friedrich Neubarth, Dietmar Schabu...
CHI
2007
ACM
16 years 7 months ago
Converging on a science of design through the synthesis of design methodologies
The goals of this workshop are: (1) to bring together the community of researchers who are exploring innovative design theories and different design methodologies; (2) to evaluate...
Gerhard Fischer, Elisa Giaccardi, Yunwen Ye, Chris...
ASYNC
2002
IEEE
115views Hardware» more  ASYNC 2002»
15 years 11 months ago
Point to Point GALS Interconnect
Reliable, low-latency channel communication between independent clock domains may be achieved using a combination of clock pausing techniques, self-calibrating delay lines and an ...
George S. Taylor, Simon W. Moore, Robert D. Mullin...