Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Favorites infavorites:mine
infavorites:1234
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with Search options user 9864

Questions about simulating one model in another. This includes simulating reality in any model, or simulating a machine model with Turing machines.

0
votes
2answers
Looking at the Symbolic Execution limitations, there are some good solutions to the "Environment interactions" problems. However, the solutions to the path explosion problem are less than ideal. S …
asked Jul 10 '18 by Lance Pollard
0
votes
There are two major things that cause path explosion: loops and large programs. There is one clever solution to loops in this paper, Efficient Loop Navigation for Symbolic Execution. I don't fully un …
answered Jul 19 '18 by Lance Pollard
1
vote
0answers
So I have sets of functions $A$, $B$, $C$, $D$, $E$, and $F$. I want to run them in a nested way. I also want to run some of them in parallel, and some of them in sequence. Here is how that might look …
asked Jul 5 '18 by Lance Pollard
1
vote
2answers
, not sure if that is correct to assume though. Also, this one-step-at-a-time stepping through the algorithm seems like program simulation, so wondering if that is true or not or if simulation has a …
asked May 30 '18 by Lance Pollard
1
vote
0answers
Wondering how to prove different compiled forms of a program to be "effectively the same" or "equivalent". For example, you can have a program represented as your normal nested function calls, or hav …
asked Jul 2 '18 by Lance Pollard
0
votes
0answers
abstraction I can think of). We can have a simulation of parallel processes in memory (like updating game entities "all at once", or updating all cells in a cellular automata all at once), even though …
asked Jul 2 '18 by Lance Pollard