Resultados da pesquisa

...acionada com o ''espaço'' utilizado por uma máquina seqüencial. A tese de computação paralela foi estabelecido por Chandra e Larry Stockmeyer em 1976<ref>* [htt ...a. No entanto, o modelo permite <math>2^{2^{O(T(n))}}</math> processos de computação paralela após <math>T(n)</math> passos. (Veja notação [[Grande-O]].) Em 1 ...

...ações. É usada para descrever comportamentos de [[Concorrência (ciência da computação)|sistemas concorrentes]]. [[Categoria:Computação concorrente]] ...

...] [[Comunicação assíncrona|assíncronos]] . Foi formulado pelo cientista da computação estadunidense [[Leslie Lamport]] . <ref>Lamport, Leslie (1978). [http://res [[Categoria:Computação distribuída]] ...

...execuções, ao contrário de um [[algoritmo determinístico]]. Um [[algoritmo concorrente]] pode executar de forma diferente em diferentes execuções devido a uma [[c ...sultados únicos. Esta propriedade é chamada matematicamente de [[modelo de computação]] "não determinístico", como o [[autômato finito não determinístico]]. Em a ...

...erados uma forma particular de restrição que podem ser simplificados usado computação unificada. Assim como resultado, o armazém de restrições pode armazenar uma ...as vezes usados dentro de uma linguagem de programação com restrições não concorrente. Elas permitem a reescrita de restrições e são capazes de inferir novas res ...

...minísticos, redes de Petri são muito utilizadas para modelar comportamento concorrente em sistemas distribuídos. * [[Programação concorrente]] ...

...Com o aumento da preocupação do [[consumo de energia]] dos computadores, a computação paralela se tornou o paradigma dominante nas [[arquitetura de computadores| ...máquina, enquanto [[cluster]]s, [[processamento paralelo massivo|MPP]] e [[Computação em grelha|grades]] usam múltiplos computadores para trabalhar em uma única ...

...r que processos concordem que algum dado ou valor é necessário durante uma computação. Exemplos de aplicações de '''consenso distribuído''' incluem confirmar ou ==Modelos de computação== ...

...ifica uma versão mínima, estável e portável da linguagem e a [[biblioteca (computação)|biblioteca]] para ensino. Esse padrão sofreu uma revisão em janeiro de 200 ...ovavelmente o mais popular [[compilador]] Haskell, e algumas [[biblioteca (computação)|bibliotecas]] (como ''bindings'' para [[OpenGL]]) funcionam apenas com ele ...

...stradas, para sistemas que requerem maior escalabilidade, como [[Servidor (computação)|servidores]] e [[Estação de trabalho|estações de trabalho]]. ...é-busca para permitir acesso rápido e fácil a várias [[Palavra (ciência da computação)|palavras de dados]] localizados em uma linha física comum na memória. ...

..."/> Mas o tema do raciocínio dedutivo também é pertinente às [[ciências da computação]], por exemplo, na criação da [[inteligência artificial]].<ref name="Johnso ...tivo não fornece evidência positiva para uma teoria, a teoria permanece um concorrente viável até que seja falsificada pela [[Evidência empírica|observação empíri ...

...ar de ser transmitido simultaneamente como uma única [[Palavra (ciência da computação)|palavra]], os sinais em um interface paralela têm diferentes durações de v ...obre]]) é uma extensão para a "versão a cabo do PCI Express", atuando como concorrente da versão 3 da interface Thunderbolt. A versão 1.0 do OCuLink, lançada em o ...

...uawei]] e a [[Lenovo]], se tornaram líderes mundiais em telecomunicações e computação pessoal,<ref>{{citar web|url=http://www.economist.com/node/21559922|título= ...ia genética]], na busca por [[matéria escura]], [[exploração espacial]], [[computação quântica|computações]] e comunicações quânticas, [[inteligência artificial] ...