Questions marquées «parallel-computing»

Questions sur les algorithmes ou les programmes qui calculent sur plusieurs unités de traitement simultanément. A ne pas confondre avec l'informatique concurrente ou distribuée!

6
Calcul distribué vs parallèle
J'entends souvent des gens parler d' informatique parallèle et d'informatique distribuée , mais j'ai l'impression qu'il n'y a pas de frontière claire entre les 2, et les gens ont tendance à confondre cela assez facilement, alors que je pense que c'est très différent: L' informatique parallèle est plus étroitement couplée …
2
Pourquoi le type void de C n'est-il pas analogue au type vide / bas?
Wikipédia ainsi que d'autres sources que j'ai trouvées listent le voidtype C comme type d'unité par opposition à un type vide. Je trouve cela déroutant car il me semble que cela voidcorrespond mieux à la définition d'un type vide / bas. Autant voidque je sache , aucune valeur n'habite . …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
3
Quels algorithmes ne peuvent pas être parallélisés?
Existe-t-il un algorithme très difficile à paralléliser ou la recherche est-elle toujours active? Je voulais connaître tout algorithme ou tout domaine de recherche en calcul parallèle. Tout ce que j'ai recherché a une implémentation «parallèle». Je veux juste faire une étude sur n'importe quel domaine informatique parallèle inexploré.
5
P-complétude et calcul parallèle
J'ai récemment lu sur les algorithmes de vérification de la bisimilarité et lu que le problème est P-complet . En outre, une conséquence de cela est que ce problème, ou tout problème P-complet, est peu susceptible d'avoir des algorithmes parallèles efficaces. Quelle est l'intuition derrière cette dernière affirmation?
3
Les unités de traitement parallèle massives d'aujourd'hui sont-elles capables d'exécuter efficacement les automates cellulaires?
Je me demande si les unités de calcul massivement parallèles fournies dans les cartes graphiques de nos jours (celle qui est programmable dans OpenCL , par exemple) sont assez bonnes pour simuler efficacement les automates cellulaires 1D (ou peut-être les automates cellulaires 2D?). Si nous choisissons la grille finie qui …
3
Solveur SAT multicœur
J'essaie de résoudre un problème SAT de 25k clauses 5k variables. Comme il fonctionne depuis une heure (précosat) et que j'aimerais en résoudre de plus gros par la suite, je cherche un Solveur SAT multicœur. Comme il semble y avoir beaucoup de solveurs SAT, je suis assez perdu. Quelqu'un pourrait-il …
3
Existe-t-il des algorithmes d'exponentiation à matrice parallèle plus efficaces que la multiplication séquentielle?
Il faut trouver la puissance (entier positif) de la matrice des nombres réels. Il existe de nombreux algorithmes de multiplication matricielle efficaces (par exemple, certains algorithmes parallèles sont ceux de Cannon, DNS ), mais existe-t-il des algorithmes qui sont exactement destinés à trouver la puissance de la matrice et qui …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.