| Russian | English |
| Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели | 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) |
| как мы увидим далее в этой книге, многие алгоритмы основаны на принципе рекурсивного разбиения большой задачи на меньшие, когда решения подзадач используются для решения исходной задачи | as we shall see throughout the book, a great many algorithms are based on the principle of recursively decomposing a large problem into one or more smaller ones, using solutions to the subproblems to solve the original problem (см. Algorithms in C++, Parts 1–4: Fundamentals, Data Structure, Sorting, Searching Third Edition by Robert Sedgewick 1998) |
| Мартин Фаулер и другие авторы, принявшие участие в написании этой книги, внесли большой вклад в разработку объектно-ориентированного программного обеспечения тем, что пролили свет на процесс рефакторинга. В книге описываются принципы и лучшие способы осуществления рефакторинга, а также указывается, где и когда следует начинать углублённо изучать код, чтобы улучшить его | Martin Fowler and the contributing authors make an invaluable contribution to object-oriented software development by shedding light on the refactoring process. This book explains the principles and best practices of refactoring, and points out when and where you should start digging in your code to improve it (см. Refactoring: Improving the Design of Existing Code by Martin Fowler et al. 1999 ssn) |
| Несмотря на сказанное, следует отметить, что этой теме посвящено большое количество теоретических работ, начиная от исследований по искусственному интеллекту, проводимых в середине двадцатого столетия, и заканчивая современными исследованиями | that said, there is a wealth of academic information on the subject, originating from classical AI in mid-twentieth century as well as recent research (см. AI Game Development: Synthetic Creatures with Learning and Reactive Behaviors / Alex J. Champandard 2003 ssn) |
| при высвобождении большого участка памяти часть его может быть выделена в ответ на текущий запрос, при этом остаток может оказаться слишком малым для удовлетворения любых последующих запросов | when a large amount of memory is released, part of it may be used to meet a subsequent request, leaving an unused part that is too small to meet any further requests |
