Concept
Refinement (computing)
Related publications (20)
Multi space reduced basis preconditioners for parametrized Stokes equations
Alfio Quarteroni, Simone Deparis, Andrea Manzoni, Niccolò Dal Santo
We introduce a two-level preconditioner for the efficient solution of large scale saddle point linear systems arising from the finite element (FE) discretization of parametrized Stokes equations. This preconditioner extends the Multi Space Reduced Basis (M ...
PERGAMON-ELSEVIER SCIENCE LTD2019Decrypting Local Type Inference
Statically typed languages verify programs at compile-time. As a result many programming mistakes are detected at an early stage of development. A programmer does not have to specify types for every single term manually, however. Many programming languages ...
EPFL2016Animation-Based Service Specification, Verification and Validation
[Context] With the expansion of services and service science, service systems have become an important abstraction for the service revolution. Service is defined as the application of resources (including competences, skills, and knowledge) to make changes ...
EPFL2015Software Verification by Combining Program Analyses of Adjustable Precision
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers, on one hand, are still mostly concerned with precision, e.g., the removal of spurious counterexampl ...
EPFL2010Declarative Specification and Alignment Verification of Services in ITIL
Gil Regev, Alain Wegmann, Irina Rychkova
IT organizations that wish to implement the best practices recommended by the IT Infrastructure Library (ITIL) need to specify the level of service provided to their customers. The implemented service needs to comply with this specification. We propose a m ...
2008Formal semantics for refinement verification of entreprise models
In this dissertation we investigate how Business/IT alignment in enterprise models can be enhanced by using a software engineering stepwise refinement paradigm. To have an IT system that supports an enterprise and meets the enterprise business needs, manag ...
EPFL2008Refinement Propagation. Towards Automated Construction of Visual Specifications.
Creation and transformation of visual specifications is driven by modeler’s design decisions. After a design decision has been made, the modeler needs to adjust the specification to maintain its correctness. The number of adjustments might make the design ...
2007Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications
SEAM is an enterprise architecture method that defines a visual language for modeling. Our goal is to provide formal semantics for SEAM. Model simulation, model comparison, and refinement verification are practical benefits we expect from this formalizatio ...
2007EPICURE : A Partitioning and CoDesign Framework For Reconfigurable Computing
This paper presents a new global design methodology capable to bridge the gap between an abstract specification level and a heterogeneous reconfigurable architecture level. The Epicure contribution is the result of a joint study on abstraction/refinement m ...
2006Motion Analysis of Echocardiograms Using a Local-Affine, Spatio-Temporal Model
Michaël Unser, Michael Sühling, Muthuvel Arigovindan
We present a new method for estimating heart motion from two-dimensional (2D) echocardiographic sequences. It is inspired by the Lucas-Kanade algorithm for optical flow which estimates motion parameters over a sliding window. However, instead of assuming t ...
IEEE2002