7452 search results - page 1 / 1491 » A Semantics for Multiprocessor Systems |
129
Voted
ESOP
1992
Springer
15 years 9 months ago
1992
Springer
154
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Integrating more processor cores on-die has become the unanimous trend in the microprocessor industry. Most of the current research thrusts using chip multiprocessors (CMPs) as th...
294
Voted
PC
2011
15 years 20 days ago
2011
We investigate the efficient iterative solution of large-scale sparse linear systems on shared-memory multiprocessors. Our parallel approach is based on a multilevel ILU precondit...
150
click to vote
IDC
2009
Springer
16 years 8 days ago
2009
Springer
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
157
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...