661 search results - page 96 / 133 » Concurrency, objects and visualisation |
101
click to vote
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
In the paper we introduce an algorithm for matching partially overlapping image-pairs where the object of interest is in motion, even if the motion is discontinuous and in an unstr...
SAC
2010
ACM
15 years 6 months ago
2010
ACM
During the last decade, software transactional memory (STM) gained wide popularity in many areas of parallel computing. In this paper, we introduce LISP-derived language equipped ...
CSCW
2006
ACM
15 years 5 months ago
2006
ACM
Collaborative object-based graphical editors offer good support for design teams to work concurrently on their design. However, not much research has been done on maintaining cons...
102
click to vote
IPPS
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we propose, implement and analyze the performance of a Reconfigurable Sequential Consistency Algorithm (RSCA) using simulation. Extending the concepts of reconfigur...
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...