Terms for subject Programming containing модель задач

Russian	English
задача верификации моделей	model checking problem (ssn)
модели задач	task models (ssn)
модели задач на основе сущностных вариантов использования	task models with essential use cases (ssn)
модель диспетчеризации задач	task dispatching model (Alex_Odeychuk)
модель задач	task model (ssn)
модель задач / состояний	task/state model (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World)
модель задачи	task model (ssn)
модель композиции и выполнения задач	task execution and composition model (Alex_Odeychuk)
Модель PRAM можно использовать для определения характера параллельного доступа к общей памяти со стороны нескольких задач	the PRAM model can be used to characterize concurrent access to shared memory by multiple tasks
модель программирования задач	task programming model (Alex_Odeychuk)
модель управления задачами	tasking model (корпорации AdaCore Alex_Odeychuk)
сетевая модель задачи	task-network model (ssn)