127 search results - page 26 / 26 » Solving Weighted Max-SAT Problems in a Reduced Search Space:... |
ICCAD
2007
IEEE
14 years 2 months ago
2007
IEEE
— Energy efficiency has become one of the most important issues to be addressed in today’s System-on-a-Chip (SoC) designs. One way to lower the power consumption is to reduce ...
CCS
2008
ACM
13 years 7 months ago
2008
ACM
To ensure that a trust negotiation succeeds whenever possible, authorization policy compliance checkers must be able to find all minimal sets of their owners' credentials tha...