Subject | Russian | English |
progr. | Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели | Certainly, most of the research on continuous-time model checking is based on this model (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
progr. | множество различных моделей непрерывного времени | number of different models of continuous time (ssn) |
progr. | модели непрерывного времени | models of continuous time (ssn) |
comp. | модель для непрерывного времени | continuous-time model |
math. | модель c непрерывным временем | continuous-time model (ssn) |
progr. | Непрерывное время, с другой стороны, является естественной моделью для асинхронных систем, поскольку промежуток времени, разделяющий события, может быть сколь угодно мал | Continuous time, on the other hand, is the natural model for asynchronous systems, because the separation of events can be arbitrarily small (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
media. | построенные с использованием компонентной объектной модели СОМ+, это серверное программное обеспечение гарантирует непрерывное функционирование критически важных Web-приложений, в первую очередь — приложений электронной коммерции, в состав AppCenter входит набор инструментальных средств управления мониторингом и тиражированием, а также упомянутая служба CLB, последняя распределяет объекты СОМ+ между серверами, механизм контроля времени ответа CLB гарантирует, что запросы к объектам СОМ+ будут выполняться максимально быстро, обеспечивая приемлемую производительность приложений в целом | Cluster Service |
progr. | различные модели непрерывного времени | different models of continuous time (ssn) |