Sciweavers

4353 search results - page 701 / 871
» Computational Challenges of Systems Biology
Sort
View
ICCS
2005
Springer
16 years 1 days ago
Ensemble-Based Data Assimilation for Atmospheric Chemical Transport Models
The task of providing an optimal analysis of the state of the atmosphere requires the development of dynamic data-driven systems (d3 as) that efficiently integrate the observationa...
Adrian Sandu, Emil M. Constantinescu, Wenyuan Liao...
KIVS
2005
Springer
16 years 19 hour ago
An Integrated Simulator for Inter-Domain Scenarios
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...
Matthias Scheidegger, Florian Baumgartner, Torsten...
TACAS
2005
Springer
120views Algorithms» more  TACAS 2005»
16 years 6 hour ago
Symbolic Test Selection Based on Approximate Analysis
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu,...
MM
2004
ACM
124views Multimedia» more  MM 2004»
15 years 12 months ago
Towards an integrated multimedia service hosting overlay
With the proliferation of multimedia data sources on the Internet, we envision an increasing demand for value-added and functionrich multimedia services that transport, process, a...
Dongyan Xu, Xuxian Jiang
SC
2004
ACM
15 years 12 months ago
Performance Tool Support for MPI-2 on Linux
Programmers of message-passing codes for clusters of workstations face a daunting challenge in understanding the performance bottlenecks of their applications. This is largely due...
Kathryn Mohror, Karen L. Karavanic