A tag is a keyword or label that categorizes your question with other, similar questions. Using the right tags makes it easier for others to find and answer your question.

0 questions
Questions about programs that read code in one language (source language) and translate it into an equivalent program in another language (target language).
2 questions
Questions about relationships between complexity classes.
403 questions
Questions related to the (computational) complexity of solving problems
0 questions
Questions related to computability theory, a.k.a. recursion theory
computability and complexity in real or complex analysis
13 questions
Questions about algorithmic solutions of geometric problems, or other algorithms making usage of geometry.
The definition of the set of allowable operations used for computation and their respective costs. Some examples of models include Turing machines, recursive functions, lambda calculus, and production…
384 questions
Questions about the organization and design of computer hardware.
5 questions
Questions about problems that arise when you connect multiple computers to form a network.
0 questions
Questions about algorithms for processing and analyzing images and videos.
261 questions
Questiont about issues of concurrency such as synchronization and deadlocks.
a complement of NP, i.e. decision problems where the "no" instances can be accepted by a nondeterministic Turing machine that runs in time polynomial in the…
46 questions
A fundamental problem in distributed computing and multi-agent systems is to achieve overall system reliability in the presence of a number of faulty processes. use this tag for consensus kind of prob…
57 questions
9 questions
Questions about the set of languages (equivalently) described by context-free grammars or accepted by (non-deterministic) pushdown automata.
an interactive theorem prover based on the Calculus of Inductive Constructions.
61 questions
Questions that ask for or about correctness proofs of algorithms.
303 questions
1 2 3