Subject | English | Russian |
progr. | alarms should only occur when the operator has time to respond | предупреждающие сигналы должны выводиться только тогда, когда у оператора есть достаточно времени, чтобы отреагировать на них (ssn) |
progr. | in the previous chapter, we assumed that time is discrete. When time is modeled in this manner, possible clock values are nonnegative integers, and events can only occur at integer time values | в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
math. | many tables of values for special functions could be calculated at a time when pencil and paper were the only available орудия | единственно доступные инструменты |
math. | many tables of values for special functions could be calculated at a time when pencil and paper were the only available tools | единственно доступные инструменты |
Makarov. | the only time when | единственный раз, когда |
lit. | Well, I could go back to sleep now. Till my cash ran out, anyway. I could be Rip Van Winkle. Only I thought that the Rip Van Winkle story was all wrong. You went to sleep for a long time, and when you woke up nothing whatsoever had changed. | Что ж, теперь я мог вернуться ко сну. Во всяком случае, пока не кончатся деньги. Я мог бы стать Рипом Ван Винклем. Только, на мой взгляд, про него рассказали неправду. Вы засыпаете на долгое время, а когда просыпаетесь, оказывается, что всё на свете идёт по-прежнему. (R. P. Warren, Пер. В. Голышева) |