6201 search results - page 968 / 1241 » Implementation of Axiomatic Language |
174
click to vote
ASPLOS
2006
ACM
16 years 19 days ago
2006
ACM
Nested transactional memory (TM) facilitates software composition by letting one module invoke another without either knowing whether the other uses transactions. Closed nested tr...
184
click to vote
HRI
2006
ACM
16 years 19 days ago
2006
ACM
We present a method of grounded word learning that is powerful enough to learn the meanings of first and second person pronouns. The model uses the understood words in an utteran...
159
click to vote
PLDI
2006
ACM
16 years 19 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
181
click to vote
PPOPP
2006
ACM
16 years 19 days ago
2006
ACM
In prior work, we have proposed techniques to extend the ease of shared-memory parallel programming to distributed-memory platforms by automatic translation of OpenMP programs to ...
187
click to vote
UIST
2006
ACM
16 years 18 days ago
2006
ACM
Modern applications provide interfaces for scripting, but many users do not know how to write script commands. However, many users are familiar with the idea of entering keywords ...