661 search results - page 94 / 133 » Concurrency, objects and visualisation |
ACS
2007
14 years 12 months ago
2007
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...
116
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
WDAG
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents lower bounds on the time- and space-complexity of implementations that use the k compare-and-swap (k-CAS) synchronization primitives. We prove that the use of ...
113
click to vote
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
106
click to vote
IJCNN
2008
IEEE
15 years 6 months ago
2008
IEEE
— When an agent observes its environment, there are two important characteristics of the perceived information. One is the relevance of information and the other is redundancy. T...