Sciweavers

111 search results - page 14 / 23
» Source Code Composition with the Reuseware Composition Frame...
Sort
View
106
Voted
SEFM
2006
IEEE
15 years 6 months ago
A PVS Based Framework for Validating Compiler Optimizations
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
ICSM
2002
IEEE
15 years 5 months ago
A Software Transformation Framework for Quality-Driven Object-Oriented Re-engineering
In re-engineering object-oriented legacy code, it is frequently useful to introduce a design pattern in order to improve specific non-functional requirements (e.g., maintainabili...
Ladan Tahvildari, Kostas Kontogiannis
CF
2010
ACM
15 years 5 months ago
ERBIUM: a deterministic, concurrent intermediate representation for portable and scalable performance
Tuning applications for multi-core systems involve subtle concepts and target-dependent optimizations. New languages are being designed to express concurrency and locality without...
Cupertino Miranda, Philippe Dumont, Albert Cohen, ...
107
Voted
ICASSP
2010
IEEE
14 years 10 months ago
Speech enhancement with sparse coding in learned dictionaries
The enhancement of speech degraded by non-stationary interferers is a highly relevant and difficult task of many signal processing applications. We present a monaural speech enhan...
Christian D. Sigg, Tomas Dikk, Joachim M. Buhmann
113
Voted
WISE
2007
Springer
15 years 7 months ago
Using Ontology with Semantic Web Services to Support Modeling in Systems Biology
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...
Zhouyang Sun, Anthony Finkelstein, Jonathan Ashmor...