5506 search results - page 276 / 1102 » Minimal Logic Programs |
162
click to vote
ISLPED
2010
ACM
15 years 4 months ago
2010
ACM
We have developed a system architecture, measuring and modeling techniques, and algorithms for on-line power and energy optimization and thermal management. The starting point for...
151
click to vote
COMCOM
2007
15 years 4 months ago
2007
In hierarchical reliable multicast schemes, the number of repair proxies and their locations influence the delivery delay. Low delivery delay is essential for the transmission of...
140
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents several novel theoretical results regarding the recovery of a low-rank matrix from just a few measurements consisting of linear combinations of the matrix entr...
134
click to vote
TOOLS
2008
IEEE
15 years 11 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
138
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...