not on time – phrases

Terms for subject Programming containing not on time | all forms

English	Russian
Events take variable amounts of time in real life, and this variability is reflected in the Petri net model by not depending on a notion of time to control the sequence of events	в реальной жизни различные события укладываются в различные интервалы времени, и это отражено в модели сети Петри независимостью от времени управления последовательностью событий (ssn)
not depending on a notion of time to control the sequence of events	независимость от времени управления последовательностью событий (ssn)
Typically, the designer provides a constraint on response time for some operation, and the verifier automatically determines if it is satisfied or not	Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)