4426 search results - page 33 / 886 » Concurrent Constraint Programming |
106
Voted
SIGCSE
2010
ACM
15 years 9 months ago
2010
ACM
Concurrent programming is becoming more important due to the growing dominance of multi-core processors and the prevalence of graphical user interfaces (GUIs). To prepare students...
141
click to vote
CLEIEJ
2006
15 years 2 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
105
Voted
ADAEUROPE
2003
Springer
15 years 6 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
C++
1992
15 years 3 months ago
1992
A programming language that lacks facilities for concurrent programming can gain those facilities in two ways: the language can be extended with additional constructs, which will ...
134
click to vote
ICTL
1994
15 years 6 months ago
1994
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...