Sciweavers

12 search results - page 2 / 3
» pact 2001
Sort
View
PACT
2001
Springer
13 years 10 months ago
Experimental Version of Parallel Programs Translator from Petri Nets to C++
E. A. Golenkov, A. S. Sokolov, G. V. Tarasov, D. I...
PACT
2001
Springer
13 years 10 months ago
UNICORE: A Grid Computing Environment for Distributed and Parallel Computing
UNICORE (UNiform Interface to COmputer REsources) provides a seamless and secure access to distributed supercomputer resources. This paper will give an overview of the its architec...
Valentina Huber
PACT
2001
Springer
13 years 10 months ago
Optimizing Metacomputing with Communication-Computation Overlap
In the framework of distributed object systems, this paper presents the concepts and an implementation of an overlapping mechanism between communication and computation. This mecha...
Françoise Baude, Denis Caromel, Nathalie Fu...
PACT
2001
Springer
13 years 10 months ago
Static Analysis for Secrecy and Non-interference in Networks of Processes
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an oper...
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, ...