2512 search results - page 176 / 503 » Software Transactional Memory |
CHI
2007
ACM
14 years 11 months ago
2007
ACM
Software can now track which computer applications and documents you use. This provides us with the potential to help end-users recall past activities for tasks such as status rep...
TPHOL
2007
IEEE
14 years 5 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...
STEP
2003
IEEE
14 years 4 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
HPCC
2007
Springer
14 years 5 months ago
2007
Springer
We propose a model for describing the parallel performance of multigrid software on distributed memory architectures. The goal of the model is to allow reliable predictions to be m...
LCPC
2005
Springer
14 years 4 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...