370 search results - page 17 / 74 » Bounded modified realizability |
HOTOS
1999
IEEE
14 years 27 days ago
1999
IEEE
This paper considers the problem of scheduling Real Time applications on a general-purpose Operating System. The approach taken is to modify a mainstream system, in order to reali...
C5
2006
IEEE
14 years 10 days ago
2006
IEEE
1 We propose a music generation software that allows large numbers of users to collaborate. In a virtual world, groups of users generate music simultaneously at different places i...
ENTCS
2006
13 years 8 months ago
2006
We formalize two proofs of weak head normalization for the simply typed lambdacalculus in first-order minimal logic: one for normal-order reduction, and one for applicative-order ...
ACL
2010
13 years 6 months ago
2010
Current Referring Expression Generation algorithms rely on domain dependent preferences for both content selection and linguistic realization. We present two experiments showing t...
NJC
2000
13 years 8 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...