Search
Results
-
-
-
-
Direct numerical solution of the chemical master equation using quantized tensor trains
(2013)Presentation -
-
-
On Analytic Real-time Interfaces for State-based Component Models
(2011)Event arrival curves [TCN00] are an abstract way of characterizing event streams or arrival patterns as used in the context of real-time analysis of embedded systems. One may employ these abstract stream descriptions as part of analytic, assume/guarantee (A/G), real-time interfaces and thereby define the traffic a component is willing to accept, and what it guarantees to emit. This extended abstract presents the machinery for deriving ...Presentation -
-