Sciweavers

1962 search results - page 337 / 393
» Software performance engineering of component-based systems
Sort
View
134
Voted
CIKM
2010
Springer
15 years 2 months ago
Towards a provenance framework for sub-image processing for astronomical data
While there has been advances in observational equipment that generate huge high quality images, the processing of these images remains a major bottleneck. We show that provenance...
Johnson Mwebaze, John McFarland, Danny Booxhorn, E...
154
Voted
DATE
2010
IEEE
183views Hardware» more  DATE 2010»
15 years 2 months ago
Toward optimized code generation through model-based optimization
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
Asma Charfi, Chokri Mraidha, Sébastien G&ea...
121
Voted
TASLP
2010
128views more  TASLP 2010»
14 years 10 months ago
Speaker Diarization Exploiting the Eigengap Criterion and Cluster Ensembles
A novel system for speaker diarization is proposed that combines the eigengap criterion and cluster ensembles. No explicit assumptions on the number of speakers are made. Two varia...
Nikoletta Bassiou, Vassiliki Moschou, Constantine ...
156
Voted
SIGMOD
2011
ACM
222views Database» more  SIGMOD 2011»
14 years 6 months ago
Data generation using declarative constraints
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...
Arvind Arasu, Raghav Kaushik, Jian Li
124
Voted
WWW
2005
ACM
16 years 4 months ago
Design for verification for asynchronously communicating Web services
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
Aysu Betin-Can, Tevfik Bultan, Xiang Fu