Sciweavers

3514 search results - page 331 / 703
» Evolving Specification Engineering
Sort
View
ENTCS
2010
110views more  ENTCS 2010»
15 years 4 months ago
Formalizing Homogeneous Language Embeddings
The cost of implementing syntactically distinct Domain Specific Languages (DSLs) can be reduced by homogeneously embedding them in a host language in cooperation with its compiler...
Tony Clark, Laurence Tratt
TASLP
2010
84views more  TASLP 2010»
15 years 1 months ago
Improving Speech Intelligibility in Noise Using Environment-Optimized Algorithms
While most speech enhancement algorithms improve speech quality, they may not improve speech intelligibility in noise. This paper focuses on the development of an algorithm that ca...
Gibak Kim, Philipos C. Loizou

Publication
303views
14 years 4 months ago
Evolutionary synthesis of analog networks
he significant increase in the available computational power that took place in recent decades has been accompanied by a growing interest in the application of the evolutionary ap...
Claudio Mattiussi
ICSE
2009
IEEE-ACM
16 years 7 months ago
Alitheia Core: An extensible software quality monitoring platform
Research in the fields of software quality and maintainability requires the analysis of large quantities of data, which often originate from open source software projects. Pre-pro...
Georgios Gousios, Diomidis Spinellis
ICSE
2008
IEEE-ACM
16 years 7 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...