150 search results - page 19 / 30 » A Calculus for Relaxed Memory |
SNPD
2003
15 years 1 days ago
2003
This paper focuses on non-strict processing, optimization, and partial evaluation of MPI programs which use incremental data structures (ISs). We describe the design and implement...
ENTCS
2002
14 years 10 months ago
2002
Despite considerable effort, the state-space explosion problem remains an issue in the analysis of Markov models. Given structure, symbolic representations can result in very comp...
SIGMETRICS
2010
ACM
14 years 5 months ago
2010
ACM
This paper explores the feasibility of and challenges in developing methods for black-box monitoring of a VM's power usage at runtime, on shared virtualized compute platforms...
EUROCAST
2003
Springer
15 years 3 months ago
2003
Springer
This paper explores the computational capacity of a novel local computational model that expands the conventional analogical and logical dynamic neural models, based on the charge ...
MICRO
2006
IEEE
15 years 4 months ago
2006
IEEE
To protect processor logic from soft errors, multicore redundant architectures execute two copies of a program on separate cores of a chip multiprocessor (CMP). Maintaining identi...