8719 search results - page 177 / 1744 » A Categorical Approach to Simulations |
122
click to vote
EUROPAR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe a consistent splitting approach to the pressurestabilized Petrov-Galerkin finite element method for incompressible flow. The splitting leads to (almost) exp...
140
click to vote
FMCAD
2007
Springer
15 years 5 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
107
click to vote
BPM
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Many work has been conducted to analyze service choreographies to assert manyfold correctness criteria. While errors can be detected automatically, the correction of defe...
118
Voted
FASE
2008
Springer
15 years 3 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
114
click to vote
WSC
1998
15 years 3 months ago
1998
Most features in commercial simulation packages are often omitted in parallel simulation benchmarks, because they neither affect the overall correctness of the simulation protocol...