Concept

Model-based testing

Publications associées (129)

Comparing machines and humans on a visual categorization test

François Fleuret, Charles Dubout, Ting Li

Automated scene interpretation has benefited from advances in machine learning, and restricted tasks, such as face detection, have been solved with sufficient accuracy for restricted settings. However, the performance of machines in providing rich semantic ...

2011

Algorithms for the partitioned solution of weakly coupled fluid models for cardiovascular flows

Alfio Quarteroni, Simone Deparis, Adelmo Cristiano Innocenza Malossi

The main goal of this work is to devise robust iterative strategies to partition the solution of the Navier-Stokes equations in a three-dimensional (3D) domain, into non overlapping 3D subdomains, which communicate through the exchange of averaged/integrat ...

International Journal for Numerical Methods in Biomedical Engineering2011

Learning the structure of genetic network dynamics : A geometric approach

Giancarlo Ferrari Trecate

This work concerns the identification of the structure of a genetic network model from measurements of gene product concentrations and synthesis rates. In earlier work, for a wide family of network models, we developed a data preprocessing algorithm that i ...

2011

Determination of Hydroacoustic Draft Tube Parameters by High Speed Visualization during Model Testing of a Francis Turbine

François Avellan, Christian Landry, Andres Müller, Sébastien Alligné

Francis turbines can experience critical instabilities at high load operating points, limiting their maximum power output. The swirling flow developed in the draft tube produces a cavitating axisymmetric volume, acting as an internal energy source leading ...

2011

Testing dynamical models of vision

Michael Herzog, Gregory Francis, Johannes Rüter

Most models of vision focus either on the spatial or temporal aspects of visual processing and neglect the other component. A variety of studies have shown, however, that spatial and temporal processing cannot easily be separated. The shine-through effect ...

Elsevier2011

Non-Linear Stability Analysis of a Reduced Scale Model Pump-Turbine at Off-Design Operation

François Avellan, Christian Landry, Andres Müller, Sébastien Alligné, Vlad Hasmatuchi, Steven Roth

Nowadays, the pump-storage power plants are a proven solution for storing electricity at large scale and offering flexibility to the power management. Therefore, the hydraulic machines are increasingly subject to off-design operation, start-up and shutdown ...

2011

Model Checking Tools for Software System Implementations

Maysam Yabandeh

Systematic State Exploration or Model Checking techniques have been used for years to check the model of softwares against user-specified properties. Nevertheless, they never achieved a wide-spread usage because of the difficulties and problems in translat ...

2010

Model-based implementation of real-time applications

Joseph Sifakis

Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on features of the execution platform, in particular its speed. Existing rigorous im ...

2010

Extensible Transactional Memory Testbed

Vincent Gramoli, Pascal Felber

Transactional Memory (TM) is a promising abstraction as it hides all synchronization complexities from the programmers of concurrent applications. More particularly the TM paradigm operated a complexity shift from the application programming to the TM prog ...

2010

Second-Order Comparison of Gaussian Random Functions and the Geometry of DNA Minicircles

Victor Panaretos, John Maddocks, David Kraus

Given two samples of continuous zero-mean iid Gaussian processes on [0,1], we consider the problem of testing whether they share the same covariance structure. Our study is motivated by the problem of determining whether the mechanical properties of short ...

2010

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search