31387 search results - page 436 / 6278 » Abstracts |
146
click to vote
SCHOLARPEDIA
2008
15 years 7 months ago
2008
ABSTRACT. We give a proof of the Sharkovsky Theorem that is selfcontained, short and direct and that illuminates the doubling structure of the Sharkovsky ordering.
202
click to vote
RTAS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Some real-time kernels (such as a recent realtime version of Linux) permit to execute interrupt handlers in dedicated threads, to control their interference on realtime ...
193
click to vote
FORMATS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
213
click to vote
ICES
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Few evolved designs are subsequently manufactured into physical objects