4488 search results - page 652 / 898 » Properties of NP-Complete Sets |
132
click to vote
DSD
2006
IEEE
16 years 24 days ago
2006
IEEE
Modern day applications require use of multi-processor systems for reasons of scalability and power efficiency. As more and more applications are integrated on a single device, m...
181
click to vote
ECRTS
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper investigates real-time scheduling in a system whose energy reservoir is replenished by an environmental power source. The execution of tasks is deemed primarily energy-...
192
click to vote
FOCS
2006
IEEE
16 years 24 days ago
2006
IEEE
We prove an upper bound, tight up to a factor of 2, for the number of vertices of level at most in an arrangement of n halfspaces in Rd , for arbitrary n and d (in particular, the...
157
click to vote
GLOBECOM
2006
IEEE
16 years 24 days ago
2006
IEEE
— Multimedia applications communicating over a next generation VPN architecture that allows selective encryption can leverage the security properties of a VPN with its performanc...
184
click to vote
ICCAD
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...