989 search results - page 9 / 198 » Dynamic Symmetry Reduction |
EOR
2011
13 years 4 months ago
2011
JNS
2008
13 years 9 months ago
2008
The interaction of two charges moving in R3 in a magnetic field B can be formulated as a Hamiltonian system with six degrees of freedom. Assuming that the magnetic field is uniform...
ATVA
2007
Springer
14 years 1 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
PRDC
2006
IEEE
14 years 3 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
CP
2006
Springer
14 years 1 months ago
2006
Springer
Many symmetry breaking methods have been proposed so far. Previous works have shown that these methods could be combined together under some conditions. We use a different angle :...