1204 search results - page 44 / 241 » Parallel concurrent ML |
147
click to vote
CLUSTER
2000
IEEE
15 years 9 months ago
2000
IEEE
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...
149
Voted
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
137
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Passing messages through shared memory plays an important role on symmetric multiprocessors and on Clumps. The management of concurrent access to message queues is an important as...
122
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
178
click to vote
PARELEC
2006
IEEE
15 years 10 months ago
2006
IEEE
We have developed an application-driven methodology for implementing parallel and heterogeneous programmable platforms. We deploy our flow for network access platforms where we h...