11022 search results - page 1787 / 2205 » Programming Systems for Autonomy |
183
click to vote
ASPLOS
2006
ACM
16 years 25 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...
224
click to vote
IWCMC
2006
ACM
16 years 24 days ago
2006
ACM
Due to the growing interest in mobile wireless Ad-Hoc networks’ (MANETs) applications, researchers have proposed many routing protocols that differ in their objective. Energy ef...
194
click to vote
UIST
2006
ACM
16 years 24 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 ...
207
click to vote
KBSE
2005
IEEE
16 years 13 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
195
click to vote
RTAS
2005
IEEE
16 years 13 days ago
2005
IEEE
While caches have become invaluable for higher-end architectures due to their ability to hide, in part, the gap between processor speed and memory access times, caches (and partic...