Terms containing time- bounded

Subject	English	Russian
progr.	A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators	Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
progr.	allow the verification of time bounded properties	позволять верифицировать свойства с ограничениями по времени (ssn)
quant.el.	bounded-error quantum polynomial time	полиномиальное время на квантовом компьютере с ограниченной вероятностью ошибки (класс вычислительной сложности задач, решаемых квантовым компьютером Alex_Odeychuk)
commun.	queueing system with uniformly bounded sojourn times	система массового обслуживания с равномерно ограниченным временем пребывания требований в системе
progr.	time bounded properties	свойства с ограничениями по времени (ssn)
comp.	time-bounded	ограниченный по времени
polygr.	time-bounded	ограниченный во времени
el.	time-bounded	ограниченная по времени
quant.el.	time-bounded pulse	импульс, ограниченный во времени