577 search results - page 73 / 116 » On Using the UML to Describe the MASC Model of Parallel Comp... |
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
Although processors become massively multicore and therefore new programming models mix message passing and multi-threading, the effects of threads on communication libraries rema...
HPDC
2006
IEEE
14 years 2 months ago
2006
IEEE
— The potential of truly large scale grids can only be realized with grid architectures and deployment strategies that lower the need for human administrative intervention, and t...
CONCUR
2001
Springer
14 years 13 days ago
2001
Springer
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for...
ICDCS
2000
IEEE
14 years 10 days ago
2000
IEEE
Replication is an area of interest to both distributed systems and databases. The solutions developed from these two perspectives are conceptually similar but differ in many aspec...
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...