DictionaryForumContacts

Terms containing time-checking | all forms | exact matches only | in specified order only
SubjectEnglishRussian
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)
automat.checking code timeвремя проверки кода
automat.checking code timeвремя отладки программы
automat.checking time of indicationsвремя проверки показаний
automat.checking-code timeпериод проверки кода
ITcode checking timeвремя отладки программы
automat.code checking timeпериод проверки кода
ITcode-checking timeвремя проверки кода
progr.compile-time checking of exceptionsпроверка исключений во время компиляции (Alex_Odeychuk)
progr.compile-time type checkingпроверка типов во время компиляции (Alex_Odeychuk)
progr.continuous-time model checkingверификация с непрерывным временем (моделей ssn)
ITfree-time checkingпоиск незанятых интервалов времени
avia.latest checking timeвремя прекращения регистрации
progr.link-time type checkingпроверка типов во время компоновки (Alex_Odeychuk)
progr.most of the research on continuous-time model checkingбольшая часть исследований по верификации с непрерывным временем (ssn)
ITprogram checking timeвремя отладки программы
progr.provides constant-time checking for an item's existenceобеспечить проверку существования элемента за константное время (Alex_Odeychuk)
progr.real-time error-checkingобнаружение ошибок в реальном времени (компании Embarcadero Technologies Alex_Odeychuk)
progr.real-time syntax checkingпроверка синтаксиса в реальном времени (Alex_Odeychuk)
progr.real-time syntax checkingсинтаксический контроль в реальном времени (Alex_Odeychuk)
progr.static and run-time checkingстатическая и динамическая проверка (Alex_Odeychuk)
ITtime checkingконтроль по времени
cem.time-checkingхронометраж

Get short URL