| English | Russian |
| A thread is a lighter burden on the operating system to create, maintain, and manage because very little information is associated with a thread. This lighter burden suggests that a thread has less overhead compared to a process | Затраты вычислительных ресурсов, связанные с созданием потока, его поддержкой и управлением, у операционной системы значительно ниже по сравнению с аналогичными затратами для процессов, поскольку объём информации отдельного потока гораздо меньше, чем у процесса (см. "Parallel and Distributed Programming Using C++" by Cameron Hughes, Tracey Hughes 2003 ssn) |
| adequacy to the real systems compared to the purely discrete model | адекватность реальным системам по сравнению с чисто дискретной моделью (ssn) |
| compare the behavior of the system under different conditions | сравнить поведение системы в различных условиях (ssn) |
| compare the object contents | сравнивать содержимое объектов (Alex_Odeychuk) |
| in the clock ISR, the stored time is compared against the time of day in the usual manner | Обработчик прерываний таймера сравнивает сохранённое значение времени с текущим (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009) |
| level of adequacy to the real systems compared to the purely discrete model | уровень адекватности реальным системам по сравнению с чисто дискретной моделью (ssn) |
| the time to request data from a monitor task and wait for the response is assumed to be small compared to the total execution time | Время запроса данных у монитора и ожидания ответа предполагается малым по сравнению с общим временем выполнения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| this combination allows improving the level of adequacy to the real systems compared to the purely discrete model | Такое сочетание позволяет повысить уровень адекватности реальным системам по сравнению с чисто дискретной моделью (ssn) |
