5639 search results - page 90 / 1128 » Timed Abstract Non-interference |
102
click to vote
WCET
2008
15 years 1 months ago
2008
We propose an approach for timing analysis of software-based embedded computer systems that builds on the established probabilistic framework of Bayesian networks. We envision an ...
103
click to vote
IDA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This work aims to improve an existing time series forecasting algorithm –LBF– by the application of frequent episodes techniques as a complementary step to the model....
AINTEC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Emergency networks normally operate under highly unpredictable wireless environment and hence real time performance information holds a great significance that cannot be...
FSTTCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
115
click to vote
ICDCIT
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...