744 search results - page 53 / 149 » Software Transactional Memory on Relaxed Memory Models |
134
Voted
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
126
Voted
GROUP
2007
ACM
15 years 7 months ago
2007
ACM
We describe the design and evaluation of K-net, a social matching system to help people learn 'who knows what' in an organization by matching people with skills with tho...
140
Voted
LCPC
2005
Springer
15 years 9 months ago
2005
Springer
The goal of this work is a systematic approach to compiler optimization for simultaneously optimizing across multiple levels of the memory hierarchy. Our approach combines compiler...
138
Voted
FPCA
1995
15 years 7 months ago
1995
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
153
click to vote
HPCA
2005
IEEE
16 years 4 months ago
2005
IEEE
With the increasing concern of the security on high performance multiprocessor enterprise servers, more and more effort is being invested into defending against various kinds of a...