1491 search results - page 37 / 299 » Resource-Passing Concurrent Programming |
103
Voted
CONCURRENCY
2007
15 years 16 days ago
2007
e is used to compose Grid applications from abstract application components that are mapped against available Grid services by the component framework at runtime. key words: compon...
184
Voted
ESOP
2011
Springer
14 years 4 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
JLP
2011
14 years 3 months ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it support...
86
Voted
FMSD
2002
15 years 10 days ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...