2805 search results - page 38 / 561 » Modeling Memory for Melodies |
JVM
2001
14 years 11 months ago
2001
ompiler for Many Memory Models { extended abstract Samuel P. Midki IBM TJ Watson Research Jaejin Lee Dept. of Computer Science and Engineering, Michigan State University David A. P...
ICFEM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
NPC
2005
Springer
15 years 3 months ago
2005
Springer
This paper focuses on the Cyclops64 computer architecture and presents an analytical model and performance simulation results for the preloading and loop unrolling approaches to op...
ACMMSP
2006
ACM
15 years 3 months ago
2006
ACM
Open nesting provides a loophole in the strict model of atomic transactions. Moss and Hosking suggested adapting open nesting for transactional memory, and Moss and a group at Sta...
CSCWD
2006
Springer
15 years 1 months ago
2006
Springer
People are usually concerned with the privacy of their personal information. However, the problem of privacy is also present when the information is directly linked to people, for...