800 search results - page 112 / 160 » Programming Models for Concurrency and Real-Time |
120
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
138
click to vote
TECS
2010
15 years 2 months ago
2010
We consider the problem of recovering from failures of distributable threads (“threads”) in distributed realtime systems that operate under run-time uncertainties including th...
121
click to vote
APLAS
2009
ACM
15 years 10 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
103
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
117
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper proposes a concurrency model which integrates the asynchronous and event-driven nature of wireless etworks with higher-level abstractions that provide a more familiar p...