As of May 31, 2023, we have updated our Code of Conduct.
Computer Science

Revival

 Revival
Answer more than 30 days after a question was asked as first answer scoring 2 or more. This badge can be awarded multiple times.
Awarded 1148 times.
The upper bound on a Nondeterministic Finite Automata's configurations number
Awarded Jun 3, 2021 at 3:55
Can maximal number in poset be more than one?
Awarded Jun 2, 2021 at 17:47
What does "associative" exactly mean in "n-way set-associative cache"?
Awarded May 30, 2021 at 7:06
Proving that any CF language over a 1 letter alphabet is regular
Awarded May 28, 2021 at 20:50
If $L$ is a regular language then so is $\sqrt{L}=\{w:ww\in L\}$
Awarded May 27, 2021 at 15:10
AVL tree worst case height proof
Awarded May 25, 2021 at 9:47
Is there any practical trick to mentally count in Gray code?
Awarded May 16, 2021 at 22:18
Why cannot Operand forwarding remove all RAW hazards?
Awarded May 14, 2021 at 11:41
For a set of points P, connected by weighted edges (distances) I need a path through all points while minimizing the travel on any edge longer than X
Awarded May 13, 2021 at 9:47
Do relativized relations between complexity classes tell us anything about the nonrelativized relation?
Awarded May 11, 2021 at 6:32
Why do we need hashed page tables for Paging in Operating Systems?
Awarded May 5, 2021 at 19:36
Is there a formal way of defining a Zeno Machine?
Awarded May 1, 2021 at 20:26
Calculating the set field of associative cache
Awarded Apr 29, 2021 at 16:25
Proof that the length of the largest ascending subsequence is the number of decreasing subsequences
Awarded Apr 26, 2021 at 0:51
Complexity of generating non-uniform random variates
Awarded Apr 25, 2021 at 13:54
Resetting Vector clocks in distributed systems
Awarded Apr 25, 2021 at 1:13
Why do programming languages use call-by-value over call-by-name?
Awarded Apr 24, 2021 at 5:57
Synchronization in Distributed Systems
Awarded Apr 21, 2021 at 17:48
Number of double wedges containing a point
Awarded Apr 5, 2021 at 22:01
Algorithm for generating all unlabeled trees with n nodes?
Awarded Apr 3, 2021 at 1:15
Does there exist standardized language-agnostic data structure notation?
Awarded Mar 30, 2021 at 11:52
Building a tree with the heap property from an array and preserving its order
Awarded Mar 26, 2021 at 8:20
Merkle tree sorting leaves and pairs
Awarded Mar 24, 2021 at 8:36
Free description of the Kameda-Weiner algorithm?
Awarded Mar 24, 2021 at 8:36
Regular expression for a binary string containing even number of 0's
Awarded Mar 20, 2021 at 14:47
Generate a random magic square on a large field
Awarded Mar 16, 2021 at 2:41
What is a "trap" in the context of system virtualization?
Awarded Mar 14, 2021 at 10:01
Does the Hack computer from "The Elements of Computing Systems" use Von Neumann architecture?
Awarded Mar 14, 2021 at 7:26
Information on Tavori and Dreizin ranged hash function?
Awarded Mar 8, 2021 at 23:02
In a DBMS what are the implementation details that make set operations faster than cursors?
Awarded Feb 25, 2021 at 5:57
If $A$ reduces to $B$ and $B$ is NP-hard, is $A$ NP-hard?
Awarded Feb 21, 2021 at 22:20
Matrix covering by squares
Awarded Feb 21, 2021 at 19:17
Term-rewriting software recommendation
Awarded Feb 20, 2021 at 11:35
Minimum frame size in ethernet
Awarded Feb 17, 2021 at 22:35
Bottom-Up Evaluation of Inherited Attributes
Awarded Feb 5, 2021 at 14:43
Complexity of "Fast Poisson Disk Sampling in Arbitrary Dimensions"
Awarded Feb 2, 2021 at 9:35
Why is the vulnerable time in pure aloha twice the frame time?
Awarded Jan 28, 2021 at 5:47
Convex Hull on a Spherical Surface
Awarded Jan 27, 2021 at 4:31
Push two symbols to stack at once in a push down automata
Awarded Jan 26, 2021 at 17:03
Lower bound on multiplication
Awarded Jan 21, 2021 at 23:56
Correctness proof of the algoritm to generate permutations in lexicographic order
Awarded Jan 20, 2021 at 22:04
(post deleted or otherwise unavailable)
Awarded Jan 20, 2021 at 13:05
Flaw with Cross Entropy Error in Neural Networks
Awarded Jan 20, 2021 at 1:03
Question in coreset construction fro K-median clustering
Awarded Jan 14, 2021 at 12:10
How to extend Bellman-Ford to solve the $k$ shortest path routing?
Awarded Jan 13, 2021 at 9:06
(Formal) Proofs of Node Centrality Properties
Awarded Jan 3, 2021 at 13:40
Provide a polynomial time algorithm that decides whether or not the language recognized by some input DFA consists entirely of palindromes
Awarded Dec 31, 2020 at 23:33
Non-deterministic Büchi vs Rabin: Automaton size for LTL->automaton
Awarded Dec 31, 2020 at 23:33
Is it possible for a maximum weight edge of a cycle being included in MST?
Awarded Dec 25, 2020 at 20:31
What does this mean: "The compile-time and load-time address-binding methods generate identical logical and physical addresses"?
Awarded Dec 21, 2020 at 16:56
Are all NP-complete languages downward self-reducible?
Awarded Dec 15, 2020 at 3:36
Proof for LeetCode: 11. Container With Most Water problem
Awarded Dec 10, 2020 at 1:46
Do you have to do reduction both ways to prove a problem is NPC?
Awarded Dec 9, 2020 at 11:16
MST for a finite number of weights
Awarded Dec 8, 2020 at 10:09
Grammar for ${a^n b^n c^{n+m}}$
Awarded Dec 4, 2020 at 12:21
Algorithm to determine if recursion was breadth first or depth first
Awarded Dec 2, 2020 at 2:12
Why should I care about lambda calculus
Awarded Nov 30, 2020 at 11:26
If the MOVE instruction in a Transport Triggered Architecture can implement a NAND gate (as a Functional Unit)
Awarded Nov 29, 2020 at 21:12
Difference between present - absent bit and valid - invalid bit in a page table?
Awarded Nov 21, 2020 at 20:10
How do computers really communicate with hard-drives on x86_64?
Awarded Nov 20, 2020 at 14:47
1 2
3
4 5
…
20

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.