2736 search results - page 432 / 548 » Implementable allocation rules |
209
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...
182
Voted
POPL
2001
ACM
16 years 2 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
102
click to vote
CADE
2003
Springer
16 years 2 months ago
2003
Springer
The DPLL procedure is the basis of some of the most successful propositional satisfiability solvers to date. Although originally devised as a proofprocedure for first-order logic, ...
104
click to vote
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
We present a new scheme for performing binary translation that produces code comparable to or better than existing binary translators with much less engineering effort. Instead of...
216
Voted
VLDB
2005
ACM
16 years 2 months ago
2005
ACM
Recommendations are crucial for the success of large websites. While there are many ways to determine recommendations, the relative quality of these recommenders depends on many fa...