3156 search results - page 49 / 632 » An address translation simulator |
RCC
2002
14 years 9 months ago
2002
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
WSC
2001
2001
Quantifying simulation output variability using confidence intervals and statistical process control
14 years 11 months ago
Two types of variability can occur in model output: variability between replications and variability within each replication. The objective of the model combined with the type of ...
80
Voted
PC
2000
14 years 9 months ago
2000
A common approach to parallelizing simulated annealing to generate several perturbations to the current solution simultaneously, requiring synchronization to guarantee correct eva...
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
Symbolic rewriting systems are gaining interest as tools for simulating biochemical dynamics. Compared to traditional methods based on differential equations, the symbolic approac...
DAC
2003
ACM
15 years 10 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...