9719 search results - page 1491 / 1944 » Answer Set Optimization |
243
click to vote
PLDI
2010
ACM
16 years 22 days ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...
193
click to vote
SIGECOM
2010
ACM
16 years 14 days ago
2010
ACM
We study the design of truthful mechanisms that do not use payments for the generalized assignment problem (GAP) and its variants. An instance of the GAP consists of a bipartite g...
197
click to vote
ASPLOS
2000
ACM
16 years 19 hour ago
2000
ACM
The emergence of the Internet as a trusted medium for commerce and communication has made cryptography an essential component of modern information systems. Cryptography provides ...
199
click to vote
SIGMOD
1999
ACM
15 years 12 months ago
1999
ACM
Pre-computation and materialization of views with aggregate functions is a common technique in Data Warehouses. Due to the complex structure of the warehouse and the different pro...
221
click to vote
VLSID
1998
IEEE
15 years 12 months ago
1998
IEEE
With several commercial tools becoming available, the high-level synthesis of applicationspeci c integrated circuits is nding wide spread acceptance in VLSI industry today. Existi...