IntelliGEN: A distributed workflow system for discovering protein-protein interactions
A large genomics project involves a significant number of researchers and technicians
performing dozens of tasks, either manual (eg performing laboratory experiments), computer …
performing dozens of tasks, either manual (eg performing laboratory experiments), computer …
[图书][B] Support for model coupling: an interface-based approach
TF Bulatewicz Jr - 2006 - search.proquest.com
There is an increasing need in the scientific community for the comprehensive simulation of
complex, dynamic, physical systems. Often such simulations are built through model …
complex, dynamic, physical systems. Often such simulations are built through model …
Automated steering of model-based test oracles to admit real program behaviors
G Gay, S Rayadurgam… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
The test oracle-a judge of the correctness of the system under test (SUT)-is a major
component of the testing process. Specifying test oracles is challenging for some domains …
component of the testing process. Specifying test oracles is challenging for some domains …
Improving the accuracy of oracle verdicts through automated model steering
The oracle-a judge of the correctness of the system under test (SUT)-is a major component
of the testing process. Specifying test oracles is challenging for some domains, such as real …
of the testing process. Specifying test oracles is challenging for some domains, such as real …
A time-coherent model for the steering of parallel simulations
The on-line visualization and the computational steering of parallel simulations come up
against a serious coherence problem. Indeed, data distributed over parallel processes must …
against a serious coherence problem. Indeed, data distributed over parallel processes must …
Improving the adaptability of multi-mode systems via program steering
L Lin, MD Ernst - ACM SIGSOFT Software Engineering Notes, 2004 - dl.acm.org
A multi-mode software system contains several distinct modes of operation and a controller
for deciding when to switch between modes. Even when developers rigorously test a multi …
for deciding when to switch between modes. Even when developers rigorously test a multi …
[HTML][HTML] Analyse, conception et réalisation d'un environnement pour le pilotage et la visualisation en ligne de simulations numériques parallèles
A Esnard - 2005 - inria.hal.science
Le domaine de la simulation interactive ou computational steering a pour but d'améliorer le
processus de simulation numérique (modélisation, calcul, analyse) en le rendant plus …
processus de simulation numérique (modélisation, calcul, analyse) en le rendant plus …
tFUTURES: Computational steering for geosimulations
A Shashidharan, RR Vatsavai, A Ashish… - Proceedings of the 25th …, 2017 - dl.acm.org
Geographic modeling using geosimulations is a popular approach to explore outcomes from
interacting geographic processes in a region. Geosimulations account for space, time, and …
interacting geographic processes in a region. Geosimulations account for space, time, and …
Steering model-based oracles to admit real program behaviors
The oracle—an arbiter of correctness of the system under test (SUT)—is a major component
of the testing process. Specifying oracles is particularly challenging for real-time embedded …
of the testing process. Specifying oracles is particularly challenging for real-time embedded …
Déterminisme nutritionnel et génétique de la teneur en lipides musculaires chez la truite arc-en-ciel (Oncorhynchus mykiss)[Texte imprimé]: étude par analyse de l' …
CI Kolditz - 2008 - archimer.ifremer.fr
the objective of the study was to identify genes and proteins that are involved in the control
of muscle fat deposition in rainbow trout. we analyzed the combined effects exerted by …
of muscle fat deposition in rainbow trout. we analyzed the combined effects exerted by …