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

claim paper

Read More »

38

click to vote

PACT
2001
Springer

123views Distributed And Parallel Com...» more PACT 2001»

GCA: Global Cellular Automata. A Flexible Parallel Model

14 years 8 months ago

Download www.lintar.disco.unimib.it

Rolf Hoffmann, Klaus-Peter Völkmann, Stefan W...

claim paper

Read More »

50

click to vote

PACT
2001
Springer

103views Distributed And Parallel Com...» more PACT 2001»

Static Analysis for Secrecy and Non-interference in Networks of Processes

14 years 8 months ago

Download www2.imm.dtu.dk

We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves deﬁning an oper...

Chiara Bodei, Pierpaolo Degano, Flemming Nielson, ...

claim paper

Read More »

37

click to vote

PACT
2001
Springer

99views Distributed And Parallel Com...» more PACT 2001»

Design Space Exploration for Massively Parallel Processor Arrays

14 years 8 months ago

Download www12.informatik.uni-erlangen.de

Frank Hannig, Jürgen Teich

claim paper

Read More »

43

click to vote

PACT
2001
Springer

137views Distributed And Parallel Com...» more PACT 2001»

Optimizing Metacomputing with Communication-Computation Overlap

14 years 8 months ago

Download www.labri.fr

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...

claim paper

Read More »

40

click to vote

PACT
2001
Springer

132views Distributed And Parallel Com...» more PACT 2001»

Experimental Version of Parallel Programs Translator from Petri Nets to C++

14 years 8 months ago