Sciweavers

661 search results - page 82 / 133
» Concurrency, objects and visualisation
Sort
View
MSO
2003
15 years 1 months ago
A Meta-Model based Approach for the Combination of Models in Multiple Languages
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
Eckhardt Holz
JUCS
2010
129views more  JUCS 2010»
14 years 10 months ago
An Extensible Interpreter Framework for Software Transactional Memory
: Software transactional memory (STM) is a new approach for coordinating concurrent threads, for which many different implementation strategies are currently being researched. In ...
Charlotte Herzeel, Pascal Costanza, Theo D'Hondt
ISMAR
2009
IEEE
15 years 6 months ago
Real-time in-situ visual feedback of task performance in mixed environments for learning joint psychomotor-cognitive tasks
This paper proposes an approach to mixed environment training of manual tasks requiring concurrent use of psychomotor and cognitive skills. To train concurrent use of both skill s...
Aaron Kotranza, D. Scott Lind, Carla M. Pugh, Benj...
FSTTCS
2005
Springer
15 years 5 months ago
Semiperfect-Information Games
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
Krishnendu Chatterjee, Thomas A. Henzinger
PDIS
1993
IEEE
15 years 4 months ago
Log-Based Directory Resolution in the Coda File System
semantic knowledge all concurrent partitionedAbstract updates to an object must be treated as conflicting, andOptimistic replication is an important technique for merged manually b...
Puneet Kumar, Mahadev Satyanarayanan