144 search results - page 25 / 29 » Time-Space Tradeoffs for Satisfiability |
NSDI
2010
13 years 9 months ago
2010
Networks are a shared resource connecting critical IT infrastructure, and the general practice is to always leave them on. Yet, meaningful energy savings can result from improving...
IJES
2006
13 years 7 months ago
2006
Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. W...
WIAS
2008
13 years 7 months ago
2008
Our system, based on a multiagent framework called collaborative understanding of distributed knowledge (CUDK), is designed with the overall goal of balancing agents' conceptu...
GIS
2006
ACM
14 years 8 months ago
2006
ACM
An iconic image database is a collection of symbolic images where each image is a collection of labeled point features called icons. A method is presented to support fast position...
DAC
1999
ACM
14 years 8 months ago
1999
ACM
While previous watermarking-based approaches to intellectual property protection (IPP) have asymmetrically emphasized the IP provider's rights, the true goal of IPP is to ens...