800 search results - page 113 / 160 » Programming Models for Concurrency and Real-Time |
115
Voted
ESTIMEDIA
2007
Springer
15 years 7 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...
111
click to vote
ESOP
2009
Springer
15 years 5 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...
123
click to vote
ENTCS
2007
15 years 1 months ago
2007
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
Software Transactional Memories (STMs) are emerging as a highly attractive programming model, thanks to their ability to mask concurrency management issues to the overlying applic...
150
click to vote
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...