6796 search results - page 1259 / 1360 » Java for Embedded Systems |
132
Voted
WCET
2007
15 years 3 months ago
2007
Our research focuses on formally bounded WCET analysis, where we aim to provide absolute guarantees on execution time bounds. In this paper, we describe how amortisation can be us...
147
click to vote
CSREASAM
2009
15 years 3 months ago
2009
Virtually all modern organizations have embedded information systems and networking technologies into their core business processes as a means to increase operational efficiency, i...
112
Voted
ASAP
2007
IEEE
15 years 2 months ago
2007
IEEE
Commercial designs are integrating from 10 to 100 embedded functional and storage blocks in a single system on chip (SoC) currently, and the number is likely to increase significa...
124
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
117
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
The behavior of some stochastic chemical reaction networks is largely unaffected by slight inaccuracies in reaction rates. We formalize the robustness of state probabilities to re...