205 search results - page 7 / 41 » Relaxed memory models: an operational approach |
ICMT
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
PLDI
1995
ACM
13 years 11 months ago
1995
ACM
d Abstract) Alexander Aiken Manuel F¨ahndrich Raph Levieny Computer Science Division University of California, Berkeleyz Static memory managementreplaces runtime garbage collecti...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
HPCA
1996
IEEE
13 years 11 months ago
1996
IEEE
Shared virtual memory is a software technique to provide shared memory on a network of computers without special hardware support. Although several relaxed consistency models and ...
FLAIRS
2008
13 years 8 months ago
2008
This paper describes an algorithm developed as a decision support system for SMT line operators and its purpose is to suggest changes in an existing feeder setup in order to impro...