587 search results - page 76 / 118 » Improving the Java memory model using CRF |
128
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
119
click to vote
CIKM
2005
Springer
15 years 7 months ago
2005
Springer
Information retrieval systems (e.g., web search engines) are critical for overcoming information overload. A major deficiency of existing retrieval systems is that they generally...
127
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
A distributed Monte Carlo simulation which models the propagation of light through tissue has been developed. It will allow for improved calibration of medical imaging devices for...
100
click to vote
HPCA
2002
IEEE
15 years 6 months ago
2002
IEEE
Clusters of commodity computers are currently being used to provide the scalability required by severalpopular Internet services. In this paper we evaluate an efficient cluster-b...
106
click to vote
ASPLOS
1991
ACM
15 years 5 months ago
1991
ACM
Blocking is a well-known optimization technique for improving the effectiveness of memory hierarchies. Instead of operating on entire rows or columns of an array, blocked algorith...