4385 search results - page 315 / 877 » Abstraction for Concurrent Objects |
195
click to vote
FPL
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We propose CUSTARD — CUStomisable Threaded ARchitecture — a soft processor design space that combines support for multiple hardware threads and automatically generate...
159
click to vote
ICESS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
164
click to vote
LPAR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
170
click to vote
RTA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
161
click to vote
SPIN
2005
Springer
16 years 5 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...