Sentence examples similar to instances of models from inspiring English sources

PRISM supports experiments, which is a way of automating multiple instances of model checking.

> Students said that looking back on their clinical training they could think of several instances of modelling, especially when new topics or technical skills were introduced.

As such, in the instance of modelling the effects of multiple volcanic hazards, at this stage care needs to be taken to avoid double-counting losses.

The main objective of these patterns is to provide an instance of model-driven architecture, which offers a solution to recurring problems that have to do with information systems security.

Most of the proposed solutions are based on the use of an embarrassingly parallel approach to run several instances of simulation of the model at a time, maintaining the simulation algorithm sequential.

Checking a Java program with TestEra involves modeling the correctness criteria for the program in Alloy and specifying abstraction and concretization translations between instances of Alloy models and Java data structures.

Such a netlist needs to include instances of cell models.

Performance can be over-stated by comparing performance of NDS systems with trivial instances of traditional models.

The particular instances of agent models for the production planning tasks in the TESLA-TV plant are described and their functionality is presented.

Instances of these models are directed helical walks, random sequential walks, bimodally distributed in direction walks or relatively short, stiff chains fixed into a network.

Instances of such models are assumed to have access to some genuine source of randomness – e.g. a fair coin or a quantum mechanical random number generator – which can be used to determine the course of their computation.