190 search results - page 16 / 38 » Approximate Reachability Analysis of Piecewise-Linear Dynami... |
FMCAD
2004
Springer
14 years 10 days ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
AMC
2008
13 years 8 months ago
2008
In this paper, a general framework for the analysis of a connection between the training of artificial neural networks via the dynamics of Markov chains and the approximation of c...
LCTRTS
2000
Springer
14 years 5 days ago
2000
Springer
The control system of many complex mechatronic products requires for each task the Worst Case Execution Time (WCET), which is needed for the scheduler's admission tests and su...
OOPSLA
1999
Springer
14 years 26 days ago
1999
Springer
Java programs perform many synchronization operations on data structures. Some of these synchronizations are unnecessary; in particular, if an object is reachable only by a single ...
FMCO
2009
Springer
13 years 6 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...