741 search results - page 75 / 149 » Automatic Generation and Validation of Models of Legacy Soft... |
143
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...
236
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Current methods for the automated generation of genome-scale metabolic networks focus on genome annotation and preliminary biochemical reaction network assembly, but d...
178
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
225
click to vote
ADS
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes an initial approach to emotional speech synthesis in Catalan based on a diphone concatenation TTS system. The main goal of this work is to develop a simple pro...
220
Voted
GLVLSI
2009
IEEE
15 years 3 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...