Perguntas com a marcação «parallel-computing»

Fomos apresentados em classe com um algoritmo para encontrar o máximo em uma matriz em paralelo na complexidade de tempo com n 2 computadores.O(1)O(1)O(1)n2n2n^2 O algoritmo foi: Dada uma matriz A de comprimento n: Crie uma matriz de sinalizadores B de comprimento n e inicialize-a com zeros em computadores.nnn Compare …

11 algorithms  search-algorithms  parallel-computing 

Enquanto tentava melhorar o desempenho da minha classe de detecção de colisões, descobri que ~ 80% do tempo gasto na gpu passava em condições if / else apenas tentando descobrir os limites dos buckets pelos quais deveria passar. Mais precisamente: cada thread obtém um ID, por esse ID ele busca …

10 computer-architecture  parallel-computing 

Nas provas e tipos de Girard , podemos ler: Do ponto de vista algorítmico, o cálculo seqüencial não possui isomorfismo de Curry-Howard, devido à multiplicidade de maneiras de escrever a mesma prova. Isso nos impede de usá-lo como um cálcio digitado , embora vislumbremos alguma estrutura profunda desse tipo, provavelmente …

9 reference-request  logic  parallel-computing 

Um algoritmo de rede neural artificial poderia ser expresso em termos de operações de redução de mapa? De maneira geral, também estou interessado em métodos de paralelização aplicados às RNAs e sua aplicação na computação em nuvem. Eu acho que uma abordagem envolveria executar uma RNA completa em cada nó …

9 parallel-computing  artificial-intelligence  neural-networks 

Suponha que desejemos unir duas relações em um predicado. Isso está no NC? Percebo que uma prova de que não está na NC equivaleria a uma prova de que , então aceitaria a evidência de que é um problema em aberto como resposta.P≠NCP≠NCP\not=NC Estou interessado no caso geral e também …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

Na computação paralela, eu sei que a equação de aceleração é 1s+1−sp1s+1−sp \frac{1}{ s + \frac{1-s}{p} } Mas o que se entende por velocidade superlinear? É algo teórico? Você poderia explicar isso com equações?

9 parallel-computing  multi-tasking 

Em um gráfico G ( V, E)G(V,E)G(V,E), fazemos o seguinte processo: Inicialmente, todos os nós em VVV são incolores. Embora existam nós não coloridos em VVV, cada nó não colorido faz o seguinte: Seleciona um número real aleatório e o envia a todos os seus vizinhos; Compara seu número com …

8 algorithm-analysis  graphs  distributed-systems  parallel-computing  randomized-algorithms 

Parece que a distinção entre fibras e fios é que as fibras são programadas cooperativamente, enquanto que as threads são programadas preventivamente. O objetivo do planejador parece ser uma maneira de fazer com que um recurso serial do processador atue de maneira paralela, "compartilhando o tempo" da CPU. No entanto, …

8 parallel-computing  threads  multi-tasking 

A classe de Nick (NC) é a classe de problemas que podem ser resolvidos em tempo de poliolog usando um número polinomial de processadores. Quero saber sobre o analógico exponencial, que abrangeria problemas que podem ser decididos em tempo polinomial usando um número exponencial de processadores. O que estou procurando …

8 complexity-theory  reference-request  parallel-computing  complexity-classes 

Qual modelo paralelo teórico é o mais próximo do modelo de programação CUDA / OpenCL? Por exemplo, ele se encaixa em algum grau ao modelo genérico da máquina de acesso aleatório paralelo (PRAM). No entanto, isso é genérico demais, pois abstrai várias latências de acesso à memória e problemas de …

8 parallel-computing  machine-models 

Estou tentando redesenhar meu algoritmo para executar no paradigma Hadoop / MapReduce. Fiquei me perguntando se existe alguma abordagem holística para medir a complexidade do tempo para algoritmos nas plataformas de Big Data. Como um exemplo simples, a média de n (= 1 bilhão) de números pode ser feita em …

8 algorithms  algorithm-analysis  runtime-analysis  parallel-computing 

Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

Suponha que um determinado aplicativo paralelo use um design mestre-escravo para processar um grande número de cargas de trabalho. Cada carga de trabalho leva algum número de ciclos para ser concluída; o número de ciclos que uma determinada carga de trabalho levará é dado por uma variável aleatória conhecidaXXX. Suponha …

7 scheduling  distributed-systems  parallel-computing