175 search results - page 8 / 35 » Informed Lifting for Message-Passing |
195
click to vote
ICFP
2009
ACM
16 years 11 days ago
2009
ACM
rrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, c...
105
click to vote
SC
1995
ACM
15 years 3 months ago
1995
ACM
Given the large communication overheads characteristic of modern parallel machines, optimizations that eliminate, hide or parallelize communication may improve the performance of ...
113
click to vote
MICRO
2006
IEEE
15 years 5 months ago
2006
IEEE
Computer security is severely threatened by software vulnerabilities. Prior work shows that information flow tracking (also referred to as taint analysis) is a promising techniqu...
JUCS
2008
14 years 11 months ago
2008
Software maintenance tasks are the most expensive activities on legacy systems life cycle, and system understanding is the most important factor of this cost. Thus, in order to aid...
142
click to vote
AAAI
2011
13 years 11 months ago
2011
Inspired by “GoogleTM Sets” and Bayesian sets, we consider the problem of retrieving complex objects and relations among them, i.e., ground atoms from a logical concept, given...