Sciweavers

2730 search results - page 279 / 546
» An Abstract Model for Process Mediation
Sort
View
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
15 years 11 months ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...
ASM
2008
ASM
15 years 9 months ago
Using EventB to Create a Virtual Machine Instruction Set Architecture
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
Stephen Wright
IEICET
2006
114views more  IEICET 2006»
15 years 7 months ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
CVPR
2008
IEEE
16 years 9 months ago
Dense 3D motion capture from synchronized video streams
Abstract: This paper proposes a novel approach to nonrigid, markerless motion capture from synchronized video streams acquired by calibrated cameras. The instantaneous geometry of ...
Yasutaka Furukawa, Jean Ponce
DAGM
2007
Springer
16 years 1 months ago
Stochastic Optimization of Multiple Texture Registration Using Mutual Information
Abstract. We consider the problem of simultaneously registering several images to a 3D model. We propose a global approach based on mutual information that extends previous methods...
Ioan Cleju, Dietmar Saupe