DictionaryForumContacts

   Russian
Terms for subject Programming containing ТИК | all forms | exact matches only
RussianEnglish
в качестве единицы измерения времени выбирается продолжительность времени между двумя последовательными тиками часовthe duration between successive clock ticks is chosen as the basic unit for measuring time (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)
продолжительность времени между двумя последовательными тиками часовduration between successive clock ticks (ssn)
тик таймераclock tick (ssn)
тик часовclock tick (ssn)