3 search results - page 1 / 1 » Denotational fixed-point semantics for constructive scheduli... |
EMSOFT
2006
Springer
13 years 8 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
13 years 8 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
13 years 11 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...