| Russian | English |
| Более того, когда принимается такая модель времени, не нужно делать никаких предположений о быстродействии окружения | Moreover, no assumptions need to be made about the speed of the environment when this model of time is assumed (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| второе предположение | second assumption (модели ssn) |
| второе предположение модели | second assumption of the model (ssn) |
| Второе предположение может быть нарушено удачной оптимизацией цикла компилятором или гиперпотоковыми возможностями процессора | Fancy compiler loop unrolling and hyperthreading may well violate the second assumption (о модели вычислений; см. The Algorithm Design Manual (Second Edition) by Steven S. Skiena (2008) ssn) |
| исполнение команд по предположению | speculative execution (совокупность методов, позволяющая ЦП с конвейерной архитектурой обрабатывать команды без уверенности в том, что они реально будут исполняться в программе (напр., в случае условного перехода). Если предположение оказывается верным, то исполнение команд продолжается и выигрывается время, а если нет (misspeculation), то результаты упреждающего исполнения аннулируются ssn) |
| исполнение по предположению | speculative execution (совокупность методов, позволяющая ЦП с конвейерной архитектурой обрабатывать команды без уверенности в том, что они реально будут исполняться в программе (напр., в случае условного перехода). Если предположение оказывается верным, то исполнение команд продолжается и выигрывается время, а если нет (misspeculation), то результаты упреждающего исполнения аннулируются ssn) |
| накладные расходы на перезагрузку конвейера в случае ошибочного предположения о ветвлении | misprediction penalties (ssn) |
| основанный на предположении | based on the assumption (ssn) |
| первое предположение | first assumption (ssn) |
| первое предположение модели | first assumption of the model (ssn) |
| предположение и "естественная" структура | anticipation and "natural" structure (ssn) |
| предположение индукции | induction hypothesis (ssn) |
| предположение контракта | assertion (в контрактном программировании Alex_Odeychuk) |
| предположение о дискретности времени | time-discreteness assumption (ssn) |
| предположение о закрытом мире | closed-world assumption (ssn) |
| предположение о замкнутости мира | closed-world assumption (ложно любое утверждение, о котором не известно, что оно верно Alex_Odeychuk) |
| предположение о наличии полной информации | assumed complete knowledge (ssn) |
| предположение об одиночных константных неисправностях | SSF-assumption (ssn) |
| предположение об одиночных константных неисправностях | single-stuck-fault assumption (ssn) |
| предположение об ошибках | error guessing (метод проектирования тестирования, в котором контрольные примеры получены на основе знаний тестера о прошлых отказах или общих знаний о видах отказа. Примечание – соответствующие знания могут исходить из личного опыта или могут быть получены, напр., из базы данных дефектов или "таксономии ошибок" ssn) |
| предположения о дискретности времени и конечности алфавита | time-discreteness and alphabet-finitude assumptions (ssn) |
| предположения об ошибках | bug assumptions (ssn) |
| предположения об ошибках в синтаксическом тестировании | bug assumptions for syntax testing (ssn) |
| представление системы в виде чёрного ящика с учётом предположения о дискретности времени | black-box representation of a system under the time-discreteness assumption (ssn) |
| Процедура синтеза обычно выполняется в предположении о наличии "полной информации об объекте управления" | the design process is normally done with "assumed complete knowledge" of the process (см. Modern Control Systems by Richard C. Dorf & Robert H. Bishop 2008) |
| следующее предположение | next assumption (ssn) |
