Sciweavers

321 search results - page 1 / 65

» concurrency 2004

26

CONCURRENCY
2004

97views more CONCURRENCY 2004»

Linda implementations in Java for concurrent systems

13 years 10 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 »

28

CONCURRENCY
2004

89views more CONCURRENCY 2004»

Simple verification technique for complex Java bytecode subroutines

13 years 10 months ago

Simple verification technique for complex Java bytecode subroutines

Download www.kestrel.edu

Alessandro Coglio

claim paper

Read More »

27

CONCURRENCY
2004

132views more CONCURRENCY 2004»

Analysing the Java package/access concepts in Isabelle/HOL

13 years 10 months ago

Analysing the Java package/access concepts in Isabelle/HOL

Download www4.informatik.tu-muenchen.de

Norbert Schirmer

claim paper

Read More »

39

CONCURRENCY
2004

76views more CONCURRENCY 2004»

Resource Space Grid: model, method and platform

13 years 10 months ago

Resource Space Grid: model, method and platform

Download kg.ict.ac.cn

Hai Zhuge

claim paper

Read More »

28

CONCURRENCY
2004

84views more CONCURRENCY 2004»

A model for parallel job scheduling on dynamical computer Grids

13 years 10 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 »