3607 search results - page 270 / 722 » Distributed Parallel Computing Using Windows Desktop Systems |
110
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
153
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
112
Voted
ISCAPDCS
2004
15 years 4 months ago
2004
Abstract. Synchronous collaborative systems allow geographically distributed participants to form a virtual work environment enabling cooperation between peers and enriching the hu...
142
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
When reconfigurable devices are used in modern embedded systems and their capability to adapt to changing application requirements becomes an issue, comprehensive modeling and de...
140
Voted
HPDC
2000
IEEE
15 years 7 months ago
2000
IEEE
Split execution is a common model for providing a friendly environment on a foreign machine. In this model, a remotely executing process sends some or all of its system calls back...