1499 search results - page 246 / 300 » Chopping Concurrent Programs |
ICALP
1989
Springer
14 years 2 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
JOT
2002
13 years 9 months ago
2002
Java supports distributed programming using threads and Remote Method Invocation (JRMI). However, a Java thread does not match well with the object concept, and JRMI cannot easily...
CLOUDCOM
2010
Springer
13 years 8 months ago
2010
Springer
Abstract--The cloud computing model aims to make largescale data-intensive computing affordable even for users with limited financial resources, that cannot invest into expensive i...
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
Previously we presented atomic sets, memory locations that share some consistency property, and units of work, code fragments that preserve consistency of atomic sets on which the...