Sentence examples for real-time model from inspiring English sources

This paper presents SymRT, a tool based on a combination of symbolic execution and real-time model checking for timing analysis of Java systems.

We also show how the timing model is constructed using symbolic execution and real-time model checking in a task local approach and present optimizations for mitigating state space size.

In this real-time model, each impression is sold in a true supply-and-demand environment.

The real-time model of business intelligence, though, requires not just software, but a tight integration with hardware.

Indeed, it wouldn't be surprising if the Bureau of Labor Statistics, which has already said that some of its methods are out of date, begins to move toward a real-time model.

A procedure of the engine real-time model design is presented.

Results will be even better if timely vector control measures are initiated in response to the real-time modeled hydrologic conditions and avert an epidemic.

The reduced computational requirements of networks-of-zones make real-time model-based control more feasible.

Fast and robust control of combustion phasing is an important challenge for real-time model-based control of Homogenous Charge Compression Ignition (HCCI).

This article describes the development of a real-time model-based training system that provides adaptive "over-the-shoulder" (OTS) instructions to trainees as they learn to perform an Anti-Air Warfare Coordinatask(AAWC) task.

The Modelica modelling language and Dymola simulation environment are used for Simulation purposes, and Timed Automata formalism and the UPPAAL real-time model-checker are used for Formal Verification purposes.