989 search results - page 9 / 198 » Dynamic Symmetry Reduction |
EOR
2011
14 years 6 months ago
2011
JNS
2008
14 years 11 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...
95
Voted
ATVA
2007
Springer
15 years 3 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 ...
101
click to vote
PRDC
2006
IEEE
15 years 5 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
15 years 3 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 :...