1727 search results - page 43 / 346 » A Technique for Large Automated Mechanism Design Problems |
NOMS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
SEKE
2004
Springer
15 years 5 months ago
2004
Springer
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...
103
click to vote
ICRA
1995
IEEE
15 years 3 months ago
1995
IEEE
Maintainability is an important issue in design where the accessibility of certain parts is determined for routine maintenance. In the past its study has been largely manual and l...
112
click to vote
ISCA
1995
IEEE
15 years 3 months ago
1995
IEEE
Recent superscalar processors issue four instructions per cycle. These processors are also powered by highly-parallel superscalar cores. The potential performance can only be expl...
100
click to vote
CADE
2003
Springer
16 years 5 days ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...