3192 search results - page 81 / 639 » Translating Model Simulators to Analysis Models |
FORMATS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
WSC
1996
13 years 10 months ago
1996
Much of the research in parallel discrete-event simulation (PDES) has resulted in new experimental simulation languages or toolkits. Meanwhile, the simulation community continues ...
WSC
2004
13 years 10 months ago
2004
This paper describes the application of parallel simulation techniques to represent structured functional parallelism present within the Space Shuttle Operations Flow, utilizing t...
FIMH
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Long term responses of the heart to e.g. infarction or surgical intervention are related to response of the tissue to changes in the mechanical environment. The tissue re...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
The aim of this paper is to address computational aspects of the total energy singular vector analysis of atmospheric chemical transport models. We discuss the symmetry of the tang...