1491 search results - page 191 / 299 » Resource-Passing Concurrent Programming |
ESOP
2009
Springer
15 years 1 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
HPCC
2009
Springer
15 years 1 months ago
2009
Springer
Experience has shown that development using shared-memory concurrency, the prevalent parallel programming paradigm today, is hard and synchronization primitives nonintuitive becaus...
CODES
2008
IEEE
14 years 11 months ago
2008
IEEE
Using traditional software profiling to optimize embedded software in an MPSoC design is not reliable. With multiple processors running concurrently and programs interacting, trad...
DAIS
2006
14 years 11 months ago
2006
To maintain availability and responsiveness, mobile applications sharing data often work on their own copy and transmit local changes to other participants. Existing systems for re...
ENTCS
2008
14 years 10 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...