Sciweavers

Share
26 search results - page 1 / 6
» Faster symmetry discovery using sparsity of symmetries
Sort
View
DAC
2008
ACM
9 years 4 months ago
Faster symmetry discovery using sparsity of symmetries
Many computational tools have recently begun to benefit from the use of the symmetry inherent in the tasks they solve, and use general-purpose graph symmetry tools to uncover this...
Paul T. Darga, Karem A. Sakallah, Igor L. Markov
CORR
2010
Springer
124views Education» more  CORR 2010»
8 years 3 months ago
Symmetry within and between solutions
Symmetry can be used to help solve many problems. For instance, Einstein's famous 1905 paper ("On the Electrodynamics of Moving Bodies") uses symmetry to help derive...
Toby Walsh
GECCO
2009
Springer
122views Optimization» more  GECCO 2009»
8 years 10 months ago
Evolving symmetric and modular neural networks for distributed control
Problems such as the design of distributed controllers are characterized by modularity and symmetry. However, the symmetries useful for solving them are often difficult to determ...
Vinod K. Valsalam, Risto Miikkulainen
DATE
2006
IEEE
88views Hardware» more  DATE 2006»
8 years 9 months ago
Using conjugate symmetries to enhance gate-level simulations
State machine based simulation of Boolean functions is substantially faster if the function being simulated is symmetric. Unfortunately function symmetries are comparatively rare....
Peter M. Maurer
SPIN
2009
Springer
8 years 10 months ago
Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Cha...
books