800 search results - page 91 / 160 » Programming Models for Concurrency and Real-Time |
103
click to vote
ENTCS
2002
15 years 1 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
118
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
128
click to vote
NPIV
1999
ACM
15 years 5 months ago
1999
ACM
We built a tool to visualize and explore program execution traces. Our goal was to help programmers without any prior knowledge of a program, quickly get enough knowledge about it...
114
click to vote
ISORC
2002
IEEE
15 years 6 months ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
110
click to vote
JLP
2010
14 years 8 months ago
2010
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...