2302 search results - page 232 / 461 » The Evolution of Concurrent Programs |
167
click to vote
JALC
2006
15 years 6 months ago
2006
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
181
click to vote
KBS
2007
15 years 6 months ago
2007
The paper introduces and formalizes a distributed approach for the model-based monitoring of the execution of a plan, where concurrent actions are carried on by a team of mobile r...
177
click to vote
PLDI
2011
ACM
14 years 9 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 ...
310
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
157
click to vote
PASTE
2004
ACM
15 years 12 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...