Sciweavers

4272 search results - page 488 / 855
» A Case for Automatic System Evaluation
Sort
View
191
Voted
CCGRID
2008
IEEE
15 years 8 months ago
View-Based Collective I/O for MPI-IO
This paper presents the design and implementation of a new file system independent collective I/O optimization based on file views: view-based collective I/O. View-based collective...
Francisco Javier García Blas, Florin Isaila...
174
Voted
HIS
2008
15 years 8 months ago
Artificial Data Sets Based on Knowledge Generators: Analysis of Learning Algorithms Efficiency
This paper proposes a methodology to generate artificial data sets to evaluate the behavior of machine learning techniques. The methodology relies in the definition of a domain an...
Joaquin Rios-Boutin, Albert Orriols-Puig, Josep Ma...
BMCBI
2008
160views more  BMCBI 2008»
15 years 7 months ago
Dynamic sensitivity analysis of biological systems
Background: A mathematical model to understand, predict, control, or even design a real biological system is a central theme in systems biology. A dynamic biological system is alw...
Wu Hsiung Wu, Feng Sheng Wang, Maw Shang Chang
TACAS
2009
Springer
132views Algorithms» more  TACAS 2009»
16 years 1 months ago
Transition-Based Directed Model Checking
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
Martin Wehrle, Sebastian Kupferschmid, Andreas Pod...
185
Voted
EDOC
2006
IEEE
16 years 28 days ago
Trust Assessment Using Provenance in Service Oriented Applications
Workflow forms a key part of many existing Service Oriented applications, involving the integration of services that may be made available at distributed sites. It is possible ng...
Shrija Rajbhandari, Arnaud Contes, Omer F. Rana, V...