Sciweavers

321 search results - page 1 / 65

» concurrency 2004

11

CONCURRENCY
2004

97views more CONCURRENCY 2004»

Linda implementations in Java for concurrent systems

13 years 4 months ago

Linda implementations in Java for concurrent systems

Download www.cs.bris.ac.uk

George Wells, Alan Chalmers, Peter G. Clayton

claim paper

Read More »

10

CONCURRENCY
2004

89views more CONCURRENCY 2004»

Simple verification technique for complex Java bytecode subroutines

13 years 4 months ago

Simple verification technique for complex Java bytecode subroutines

Download www.kestrel.edu

Alessandro Coglio

claim paper

Read More »

12

CONCURRENCY
2004

132views more CONCURRENCY 2004»

Analysing the Java package/access concepts in Isabelle/HOL

13 years 4 months ago

Analysing the Java package/access concepts in Isabelle/HOL

Download www4.informatik.tu-muenchen.de

Norbert Schirmer

claim paper

Read More »

14

CONCURRENCY
2004

76views more CONCURRENCY 2004»

Resource Space Grid: model, method and platform

13 years 4 months ago

Resource Space Grid: model, method and platform

Download kg.ict.ac.cn

Hai Zhuge

claim paper

Read More »

9

CONCURRENCY
2004

84views more CONCURRENCY 2004»

A model for parallel job scheduling on dynamical computer Grids

13 years 4 months ago

A model for parallel job scheduling on dynamical computer Grids

Download www.integrade.org.br

Alfredo Goldman, Carlos Queiroz

claim paper

Read More »

« Prev « First page 1 / 65 Last » Next »