4586 search results - page 239 / 918 » Computing stable models in parallel |
114
click to vote
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The unfolding method, initially introduced for systems modelled by Petri nets, is applied to synchronous products of transition systems, a model introduced by Arnold [2]....
117
click to vote
HPDC
1998
IEEE
15 years 8 months ago
1998
IEEE
To support a vast set of user requirements, flexibility and extensibility are essential features of a metasystem architecture. We present an execution model, the Reflective Graph ...
124
click to vote
HPDC
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper describes PARDIS, a system containing explicit support for interoperability of PARallel DIStributed applications. PARDIS is based on the Common Object Request Broker Ar...
129
click to vote
PDP
2010
IEEE
15 years 11 months ago
2010
IEEE
—This paper argues that algorithmic skeletons are a suitable programming model for multi-core architectures. -level abstractions offered by algorithmic skeletons provide a simple...
131
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
As high-end computer systems present users with rapidly increasing numbers of processors, possibly also incorporating attached co-processors, programmers are increasingly challeng...