Exemplos de uso de "abstract state machine" em inglês
So June 1945 - actually, the bomb hasn't even been dropped yet - and Von Neumann is putting together all the theory to actually build this thing, which also goes back to Turing, who, before that, gave the idea that you could do all this with a very brainless, little, finite state machine, just reading a tape in and reading a tape out.
Итак, июнь 1945-го. Собственно, бомба ещё не сброшена, а фон Нойман собирает всю теорию, необходимую для постройки этой штуки, что возвращает нас к Тьюрингу, ещё раньше подавшему идею, что всё то же можно сделать с помощью совершенно безмозглого маленького конечного автоматика, просто читающего ленту туда-сюда.
That’s because the inputs for a PRNG vary depending on the temporal state of each machine.
Все дело в том, что исходные данные, вводимые в ГПСЧ, разнятся в зависимости от временного состояния каждого автомата.
According to the NSF's abstract of the project, being carried out by researchers at North Carolina State University, participants "receive information about that issue from a range of content-area experts, experts on social implications of science and technology, and representatives of special interest groups."
Согласно краткому описанию проекта Национального научного фонда, осуществляемого исследователями Университета штата Северная Каролина, участники «получают информацию от целого ряда экспертов по главному предмету обсуждения, от экспертов по социальным последствиям использования достижений науки и техники, а также от представителей групп, объединенных специальными интересами, связанными с предметом дискуссии».
I don't think that State Assembly seats should be the reward for service to the Democratic party machine.
Я не думаю, что места в Ассамлеи Штата особенно нужны машине Демократической партии.
Instead of trying to determine the content of jus cogens through abstract definitions, it is better to follow the path chosen by the ILC in 1966 as it “considered the right course to be to provide in general terms that a treaty is void if it conflicts with a rule of jus cogens and to leave the full content of this rule to be worked out in State practice and in the jurisprudence of international tribunals”.
Вместо того, чтобы пытаться определить содержание jus cogens при помощи абстрактных дефиниций, лучше последовать путем, который избрала КМП в 1966 году, когда она " сочла правильным предусмотреть в целом, что договор становится ничтожным, если он вступает в коллизию с нормой jus cogens, и оставить уточнение полного содержания этой нормы было для практики государств и международных судебных органов ".
This technology helps to make sure that the virtual machine never comes up from a saved state that's persisted on disk because it will be stale relative to the rest of the DAG members.
Эта технология помогает гарантировать, что виртуальная машина не запускается из сохраненного состояния, которое сохраняется на диске, поскольку она будет устаревшей относительно остальных участников группы обеспечения доступности баз данных.
It has long been assumed that a single type of machine, given time and memory, could simulate the behavior of any other state of matter.
Когда-то давно было выдвинуто предположение, что компьютер одного типа, при наличии необходимого времени и памяти, может смоделировать поведение любого другого состояния вещества.
However, virtual machine snapshots aren't application aware, and using them can have unintended and unexpected consequences for a server application that maintains state data, such as Exchange.
Однако снимки виртуальных машин могут быть несовместимы с некоторыми приложениями, поэтому их использование может приводить к неожиданным последствиям в случае серверных приложений, поддерживающих данные о состоянии, таких как Exchange.
The Union's machine often makes decisions under pressure from this or that commercial or industrial lobbying group, whose demands in Brussels are usually defended by state or group of states' interests (just as the Czech Republic is promoting the demands of its banks under threat of being vetoed).
Общеевропейский аппарат часто выносит решение под давлением того или иного торгового или промышленного лобби, позиции которых в Брюсселе обычно защищаются каким-либо государством или группой государств (таким образом Чехия теперь даже под угрозой вета отстаивает требования своих банков).
For him, hunger was an abstract concept. He had always had enough food.
Голод для него был абстрактным понятием; у него всегда было достаточно еды.
To him, hunger was an abstract concept; he always had enough to eat.
Голод для него был абстрактным понятием; у него всегда было достаточно еды.
During the stalinist era, prisoners at concentration camps became slaves in service of the state.
В сталинскую эпоху заключённые в концентрационных лагерях становились рабами на службе государства.
But when an archetype waltzes with an archetype and gets kicked out by an archetype, then it’s not really a film anymore, but almost like an abstract painting.
Ну, а когда архетип вальсирует с архетипом и архетипом погоняет, то это уже не кино, а почитай что абстрактная живопись.
Os exemplos de uso de palavras em diferentes contextos são dados só para fins linguísticos, ou seja, para estudar o uso de palavras numa língua e as suas traduções para outra. Todos os exemplos são colecionados automaticamente em fontes abertas usando tecnologia de pesquisa de dados bilíngues. Se você encontrar algum erro de ortografia, pontuação ou outro erro no texto original ou na tradução, use a opção "Reportar um erro" ou escreva para nós.
Nesta seção, você pode ver como palavras e expressões são usadas em diferentes contextos usando exemplos de traduções feitas por profissionais. A seção Contextos o ajudará a aprender inglês, alemão, espanhol e outros idiomas. Aqui você pode encontrar exemplos com verbos frasais e idiomas em textos que variam em estilo e tema. Exemplos podem ser classificados por traduções e tópicos.
Aprenda línguas estrangeiras, veja a tradução de milhões de palavras e expressões e use-as em sua comunicação por e-mail.
Anuncie