1491 search results - page 237 / 299 » Resource-Passing Concurrent Programming |
164
click to vote
ESTIMEDIA
2007
Springer
16 years 9 days 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...
137
click to vote
CONEXT
2006
ACM
16 years 3 days ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
148
click to vote
ADAEUROPE
2005
Springer
15 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...
158
click to vote
LPAR
2005
Springer
15 years 11 months 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 ...
160
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...