Search Sciweavers | Sciweavers

23

IFIPTCS
2010

130views Theoretical Computer Science» more IFIPTCS 2010»

13 years 5 months ago

Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...

Thomas Given-Wilson, Daniele Gorla, Barry Jay

claim paper

Read More »

28

click to vote

APCSAC
2003
IEEE

141views Computer Architecture» more APCSAC 2003»

On Implementing High Level Concurrency in Java

13 years 11 months ago

Download joinjava.unisa.edu.au

Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...

G. Stewart Von Itzstein, Mark Jasiunas

claim paper

Read More »

25

click to vote

NJC
2002

109views more NJC 2002»

Temporal Concurrent Constraint Programming: Denotation, Logic and Applications

13 years 7 months ago

Download www.brics.dk

The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...

Mogens Nielsen, Catuscia Palamidessi, Frank D. Val...

claim paper

Read More »

28

click to vote

LMO
1996

122views Programming Languages» more LMO 1996»

Using Metaobjects to Model Concurrent Objects with PICT

13 years 9 months ago

Download scg.unibe.ch

We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...

Markus Lumpe, Jean-Guy Schneider, Oscar Nierstrasz

claim paper

Read More »

17

click to vote

CONCURRENCY
2010

79views more CONCURRENCY 2010»

Resource use pattern analysis for predicting resource availability in opportunistic grids

13 years 7 months ago

Download ccsl.ime.usp.br

Marcelo Finger, Germano Capistrano Bezerra, Danilo...

claim paper