1451 search results - page 157 / 291 » Case Studies in Model Manipulation for Scientific Computing |
148
click to vote
WSC
2004
15 years 7 months ago
2004
Data Farming leverages high performance computing to run simple models many times. This process allows for the exploration of massive parameter spaces relatively quickly. This pap...
145
click to vote
ECBS
2006
IEEE
16 years 14 days ago
2006
IEEE
The Adviser Portal (AP) is a new IT system for 15 Danish banks. The main goal of AP is to increase the efficiency and quality of bank advisers’ work. Requirements engineering fo...
183
click to vote
RTCSA
2006
IEEE
16 years 12 days ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
183
click to vote
SBACPAD
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a theoretical study to evaluate the performance of a family of parallel implementations of the propagation algorithm. The propagation algorithm is used to an i...
164
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...