3218 search results - page 153 / 644 » Timed Extensions for SDL |
121
click to vote
ICS
2004
Tsinghua U.
15 years 10 months ago
2004
Tsinghua U.
The use of semi-Lagrangian formulations in numerical weather predication models (NWP) allows for an increase in time step size. Use of this method can increase performance of thes...
140
click to vote
ISSRE
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we extend an earlier worst case bound reliability theory to derive a worst case reliability function R(t), which gives the worst case probability of surviving a furt...
127
click to vote
EUROS
2008
15 years 6 months ago
2008
Resources consumption control is crucial in the autonomous rover context. Most of the time, the resources consumption is probabilistic. During execution time, the rover has to adap...
136
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We study the problem of factoring univariate polynomials over finite fields. Under the assumption of the Extended Riemann Hypothesis (ERH), Gao [Gao01] designed a polynomial time ...
142
Voted
CORR
2006
Springer
15 years 4 months ago
2006
Springer
: The formalizations of periods of time inside a linear model of Time are usually based on the notion of intervals, that may contain or may not their endpoints. This is not enough ...