11112 search results - page 122 / 2223 » Computing Stuttering Simulations |
CGA
2006
13 years 9 months ago
2006
CSE
2007
IEEE
13 years 9 months ago
2007
IEEE
DAC
1990
ACM
14 years 1 months ago
1990
ACM
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...
IACR
2011
12 years 9 months ago
2011
Secure two-party computation protocol allows two players, Alice with secret input x and Bob with secret input y, to jointly execute an arbitrary program π(x, y) such that only th...
SIGCSE
2006
ACM
14 years 3 months ago
2006
ACM
We describe the implementation of “MARS,” a GUI, Java-based simulator for the MIPS assembly language. MIPS, the computer architecture underlying the simulated assembly languag...