Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process using UPPAAL Jan Toennemann1 , Andreas Rausch1 , Falk Howar2 , and Benjamin Cool3 1

Source URL: www.falkhowar.de

• Real-time computing
• Scheduling
• Technology
• Computer architecture
• System software
• Embedded operating systems
• Automotive software
• OSEK
• Worst-case execution time
• Real-time operating system
• Uppaal Model Checker
• Model checking

PPSsol411.tex Preliminary–comments welcome Time Consistency of Fiscal and Monetary Policy: A Solution∗

Source URL: perseus.iies.su.se

Consistency Conditions for Beliefs and Intentions Marc van Zee, Mehdi Dastani, Dragan Doder, and Leendert van der Torre Abstract Icard et al. introduce a semantics for actions over time, provide an axiomatization for thi

Source URL: www.marcvanzee.nl

A Lightweight Approach to Start Time Consistency in Haskell Wolfgang

Source URL: cs.ioc.ee

Composition of Time-Consistent Dynamic Monetary Risk Measures in Discrete Time∗ Patrick Cheridito† Michael Kupper‡

Source URL: www.princeton.edu

• Mathematical analysis
• Financial risk
• Mathematical finance
• Analysis
• Measure theory
• Time consistency
• Dynamic risk measure
• Expected value
• Essential supremum and essential infimum

Trading-off Data Consistency for Timeliness in Real-Time Database Systems Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden {si

Source URL: www.control.lth.se

• Transaction processing
• Data management
• Atomicity
• ACID
• Isolation
• Database transaction
• Data consistency
• Consistency
• Database
• Durability

Vergleich von Nano- vs Millisekunde 1 Nanosekunde (ns) = 1000 Pikosekunden = 0,Sekunden 1 Mikrosekunde (μs) = 1000 Nanosekunden = 0,Sekunden 1 Millisekunde (ms) = 1000 Mikrosekunden = 0,001 Sekunden

Source URL: www.dbis.cs.uni-frankfurt.de

• Computing
• Distributed computing
• CAP theorem
• Software
• Data management
• Network partition
• Consistency
• System time
• Eric Brewer

Instanton Representation of Plebanski Gravity. Consistency of the Initial Value Constraints under Time Evolution Eyo Eyo Ita III∗ Abstract: The instanton representation of Plebanski gravity provides as equations of mot

Source URL: zelmanov.fr

Instanton Representation of Plebanski Gravity. Consistency of the Initial Value Constraints under Time Evolution Eyo Eyo Ita III∗ Abstract: The instanton representation of Plebanski gravity provides as equations of mot

Source URL: zelmanov.org

Introduction to Time Series Analysis. LectureReview: The periodogram, the smoothed periodogram. 2. Other smoothed spectral estimators. 3. Consistency. 4. Asymptotic distribution.

Source URL: www.stat.berkeley.edu

• Statistics
• Frequency domain analysis
• Estimator
• Spectral density estimation
• Mathematical analysis
• Probability
• Variance
• Probability distributions