1550 search results - page 216 / 310 » Erlang for Concurrent Programming |
105
click to vote
APLAS
2009
ACM
15 years 8 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...
IPPS
2007
IEEE
15 years 8 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...
102
click to vote
IPPS
2007
IEEE
15 years 8 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...
109
click to vote
CONTEXT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
122
click to vote
ESTIMEDIA
2007
Springer
15 years 8 months ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...