Sciweavers

661 search results - page 91 / 133
» Concurrency, objects and visualisation
Sort
View
ESOP
2009
Springer
15 years 6 months ago
A Basis for Verifying Multi-threaded Programs
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
K. Rustan M. Leino, Peter Müller
ICRA
2006
IEEE
148views Robotics» more  ICRA 2006»
15 years 5 months ago
Surface Patch Reconstruction via Curve Sampling
This paper introduces a method that reconstructs a surface patch by sampling along three concurrent curves on the surface with a touch sensor. These data curves, each lying in a d...
Yan-Bin Jia, Liangchuan Mi, Jiang Tian
MM
2004
ACM
104views Multimedia» more  MM 2004»
15 years 5 months ago
Supporting continuous consistency in multiplayer online games
Multiplayer online games have become very popular in recent years. However, they generally suffer from network latency problem. If a player changes its states, it will take some ...
Frederick W. B. Li, Lewis W. F. Li, Rynson W. H. L...
RE
2004
Springer
15 years 5 months ago
Goal-Oriented Requirements Animation
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
Hung Tran Van, Axel van Lamsweerde, Philippe Masso...
IUI
2009
ACM
15 years 4 months ago
Simplified facial animation control utilizing novel input devices: a comparative study
Editing facial expressions of virtual characters is quite a complex task. The face is made up of many muscles, which are partly activated concurrently. Virtual faces with human exp...
Nikolaus Bee, Bernhard Falk, Elisabeth André