250 search results - page 13 / 50 » Verifying Tolerant Systems Using Polynomial Approximations |
142
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Sensitivity analysis is an indispensable tool for the analysis of complex systems. In a recent paper, we have introduced a thermodynamically consistent variance-based ...
112
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
System-level design methods specifically targeted towards multimedia applications have recently received a lot of attention. Multimedia workloads are known to have a high degree o...
141
Voted
JSCIC
2008
15 years 3 months ago
2008
Solutions of the master equation are approximated using a hierarchy of models based on the solution of ordinary differential equations: the macroscopic equations, the linear noise...
118
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
114
click to vote
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...