443 search results - page 38 / 89 » Relations in Concurrency |
159
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
We propose a new way of browsing contextualized-news articles. Our prototype browser system is called a Time-based ContextualizedNews Browser (T-CNB). The T-CNB concurrently and a...
162
click to vote
SPDP
1993
IEEE
15 years 9 months ago
1993
IEEE
We consider the problem of transforming a given sequential implementation of a data structure into a wait-free concurrent implementation. Given the code for different operations ...
199
click to vote
HASKELL
2009
ACM
16 years 1 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
161
click to vote
SBBD
2004
15 years 6 months ago
2004
Today, neither transactional provisions, in general, nor concurrency control, in particular, of DBMS-based processing are tailored to the specific needs of large and collaborative...
156
click to vote
AGP
1995
IEEE
15 years 9 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...