1974 search results - page 68 / 395 » Conditional Purchase Orders |
PARA
2004
Springer
15 years 3 months ago
2004
Springer
The performance of various Taylor model (TM)-based methods for the validated integration of ODEs is studied for some representative computational problems. For nonlinear problems, ...
ESOP
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race conditions are common errors in multithreaded ...
85
Voted
IJSYSC
2010
14 years 7 months ago
2010
This paper deals with the problem of additional sensor location in order to recover the observability of any given part of the state and unknown input for structured linear system...
ISSAC
2004
Springer
15 years 3 months ago
2004
Springer
We give a necessary and sufficient condition for an algebraic ODE to have a rational type general solution. For an autonomous first order ODE, we give an algorithm to compute a r...
76
Voted
QEST
2006
IEEE
15 years 4 months ago
2006
IEEE
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...