4426 search results - page 464 / 886 » Concurrent Constraint Programming |
172
click to vote
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
194
click to vote
ESTIMEDIA
2007
Springer
16 years 1 months 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...
169
click to vote
CONEXT
2006
ACM
16 years 26 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...
170
click to vote
ADAEUROPE
2005
Springer
16 years 13 days 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...
174
click to vote
LPAR
2005
Springer
16 years 11 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 ...