1491 search results - page 188 / 299 » Resource-Passing Concurrent Programming |
100
Voted
ICALP
1989
Springer
15 years 6 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...
149
Voted
CORR
2008
Springer
15 years 2 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...
103
Voted
JOT
2002
15 years 2 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...
129
Voted
CLOUDCOM
2010
Springer
15 years 24 days 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...
124
Voted
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...