29 search results - page 2 / 6 » Randomized Wait-Free Concurrent Objects (Extended Abstract) |
ADAEUROPE
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
ECOOP
1998
Springer
13 years 9 months ago
1998
Springer
Customizable meta-objects are a powerful abstraction for extending language features and implementation mechanisms, but interpretive execution suffers from severe performance penal...
CONCUR
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
DATE
2004
IEEE
13 years 9 months ago
2004
IEEE
We discuss the problem of concurrent error detection (CED) with bounded latency in finite state machines (FSMs). The objective of this approach is to reduce the overhead of CED, a...
SPIN
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...