3607 search results - page 285 / 722 » Distributed Parallel Computing Using Windows Desktop Systems |
124
Voted
PODC
1997
ACM
15 years 7 months ago
1997
ACM
Thispaperdescribesanewschemeforguaranteeingthattransactions in a client/server system observe consistent state while they are running. The scheme is presented in conjunction with ...
137
Voted
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
In regular inference, the problem is to infer a regular language, typically represented by a deterministic finite automaton (DFA) from answers to a finite set of membership querie...
126
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...
134
Voted
ICPP
2007
IEEE
15 years 9 months ago
2007
IEEE
There has recently been increasing interests in using system virtualization to improve the dependability of HPC cluster systems. However, it is not cost-free and may come with som...
150
Voted
KES
1999
Springer
15 years 7 months ago
1999
Springer
Abstract—Dynamic Demes is a new method for the parallelisation of evolutionary algorithms. It was derived as a combination of two other parallelisation algorithms: the master-sla...