Sciweavers

1342 search results - page 142 / 269
» MEMS Design And Verification
Sort
View
LREC
2008
89views Education» more  LREC 2008»
15 years 7 months ago
Building of a Speech Corpus Optimised for Unit Selection TTS Synthesis
The paper deals with the process of designing a phonetically and prosodically rich speech corpus for unit selection speech synthesis. The attention is given mainly to the recordin...
Jindrich Matousek, Daniel Tihelka, Jan Romportl
DAC
2009
ACM
16 years 7 months ago
Speculation in elastic systems
Speculation is a well-known technique for increasing parallelism of the microprocessor pipelines and hence their performance. While implementing speculation in modern design pract...
Marc Galceran Oms, Jordi Cortadella, Michael Kishi...
FDL
2005
IEEE
16 years 21 hour ago
Integrating Model-Checking with UML-based SoC Development
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
Peter Green, Kinika Tasie-Amadi
CODES
2000
IEEE
15 years 10 months ago
Automatic test bench generation for simulation-based validation
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
Marcello Lajolo, Luciano Lavagno, Maurizio Rebaude...
CSFW
2012
IEEE
13 years 8 months ago
Discovering Concrete Attacks on Website Authorization by Formal Analysis
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffe...