Question Detail: Is it true that Sequential Consistency is a stronger property than Cache Coherence? According to Sorin, Daniel J; Hill, Mark D; Wood, David A: A Primer on Memory Consistency and Cache Coherence, Morgan & Claypool, 2011 sequential consistency can Read More …
Category: Uncategorized
Find all intervals that overlap with a given interval
Question Detail: Note: I moved this question from stackoverflow.com I have an algorithmic problem where I would like to see if it can be solved in better than $O(n)$: I have given a table $T$ of $n$ elements where each element Read More …
Formal program verification in practice
Question Detail: As a software engineer, I write a lot of code for industrial products. Relatively complicated stuff with classes, threads, some design efforts, but also some compromises for performance. I do a lot of testing, and I am tired of Read More …
How to prove NP-hardness of a longest-path problem?
Question Detail: I have this question: Input: G(V, E) = an undirected graph, V={v1, v2, …, vn} (V = set of nodes, E = set of edges) where there is a path connecting from v1 to vn. Question: What is the Read More …
How to prove NP-hardness of a longest-path problem?
Question Detail: I have this question: Input: G(V, E) = an undirected graph, V={v1, v2, …, vn} (V = set of nodes, E = set of edges) where there is a path connecting from v1 to vn. Question: What is the Read More …
Formal program verification in practice
Question Detail: As a software engineer, I write a lot of code for industrial products. Relatively complicated stuff with classes, threads, some design efforts, but also some compromises for performance. I do a lot of testing, and I am tired of Read More …
Find all intervals that overlap with a given interval
Question Detail: Note: I moved this question from stackoverflow.com I have an algorithmic problem where I would like to see if it can be solved in better than $O(n)$: I have given a table $T$ of $n$ elements where each element Read More …
Practical application of Finite State Machines
Question Detail: I am looking for practical applications of Finite State Machines like DFA, NFA, Moore, Mealy machines… It would be helpful if someone point to examples from Linux Kernel. I know that DFA is used in string matching like KMP Read More …
Which is the equivalent processing of human brain in terms of computer processing?
Question Detail: How many flops my brain can process, or how many GHz is a human brain capable of? Is it valid to think that each celular brain is like a small cpu? (like cuda architecture). Our brains works in parallel, Read More …
Transmission (Store and Forward) Delay
Question Detail: The Kurose & Ross book uses “store-and-forward delay” as a synonym for the transmission delay of a packet over a network link. As a newcomer to computer networks, it isn’t immediately obvious to me how these two terms are Read More …