4426 search results - page 75 / 886 » Concurrent Constraint Programming |
141
click to vote
PODS
1990
ACM
15 years 8 months ago
1990
ACM
- Performancestudiesof concurrencycontrol algorithms for conventional database systems have shown that, under most operating circumstances, locking protocols outperform optimistic ...
116
click to vote
DEXAW
2008
IEEE
15 years 10 months ago
2008
IEEE
Today’s high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of concurrency we need t...
139
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
We present an empirical study aimed at analysing the use of viewpoints in an industrial Concurrent Engineering context. Our focus is on the viewpoints expressed in the argumentativ...
130
click to vote
LADS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...
128
click to vote
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...