16725 search results - page 2811 / 3345 » Engineering Software Correctness |
216
click to vote
EMSOFT
2003
Springer
16 years 5 days ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
178
click to vote
EUROPAR
2003
Springer
16 years 5 days ago
2003
Springer
In this paper, a two-dimensional airfoil shape optimisation problem is investigated using CFD within a grid computing environment (GCE) implemented in Matlab. The feature-based par...
138
click to vote
FATES
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
172
click to vote
FOSSACS
2003
Springer
16 years 5 days ago
2003
Springer
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
166
click to vote
FOSSACS
2003
Springer
16 years 5 days ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...