3 search results - page 1 / 1 » Denotational fixed-point semantics for constructive scheduli... |
EMSOFT
2006
Springer
14 years 2 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
POPL
1995
ACM
14 years 2 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
MEMOCODE
2008
IEEE
14 years 5 months ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...