850 search results - page 147 / 170 » Modeling synchronous systems in BIP |
TOG
2008
13 years 8 months ago
2008
Details in mesh animations are difficult to generate but they have great impact on visual quality. In this work, we demonstrate a practical software system for capturing such deta...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
DOCENG
2009
ACM
13 years 6 months ago
2009
ACM
This paper focuses on the support provided by NCL (Nested Context Language) to relate objects with imperative code content and declarative hypermedia-objects (objects with declara...
ICIP
2007
IEEE
14 years 10 months ago
2007
IEEE
We present our system for the capturing and analysis of 3D facial motion. A high speed camera is used as capture unit in combination with two surface mirrors. The mirrors provide ...
PODC
2010
ACM
14 years 10 days ago
2010
ACM
: The Borowsky-Gafni (BG) simulation algorithm is a powerful reduction algorithm that shows that t-resilience of decision tasks can be fully characterized in terms of wait-freedom....