2119 search results - page 132 / 424 » Structure-Preserving Model Reduction |
111
click to vote
WSC
2007
15 years 5 months ago
2007
Clinical trials constitute large, complex, and resource intensive activities for pharmaceutical companies. Accurate prediction of patient enrollment would represent a major step f...
120
click to vote
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
123
click to vote
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
This paper studies the effect of bisimulation minimisation in model checking of monolithic discrete-time and continuous-time Markov chains as well as variants thereof with rewards...
134
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
100
Voted
CODES
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper, we present thread-based optimistic distributed timed cosimulation methods which reduce the overhead of optimistic simulation. First, we present thread simulation mo...