Sciweavers

2800 search results - page 340 / 560
» Fibrational Control Structures
Sort
View
ASAP
1997
IEEE
93views Hardware» more  ASAP 1997»
15 years 7 months ago
A Novel Sequencer Hardware for Application Specific Computing
This paper introduces a powerful novel sequencer for controlling computational machines and for structured DMA (direct memory access) applications. It is mainly focused on applica...
Reiner W. Hartenstein, Jürgen Becker, Michael...
117
Voted
DAC
1997
ACM
15 years 7 months ago
Equivalence Checking Using Cuts and Heaps
This paper presents a verification technique which is specifically targeted to formally comparing large combinational circuits with some structural similarities. The approach co...
Andreas Kuehlmann, Florian Krohm
FGR
1996
IEEE
159views Biometrics» more  FGR 1996»
15 years 7 months ago
Visual Interaction With Lifelike Characters
This paper explores the use of fast, simple computer vision techniques to add compelling visual capabilities to social user interfaces. Social interfaces involve the user in natur...
Matthew Turk
103
Voted
ICCAD
1996
IEEE
92views Hardware» more  ICCAD 1996»
15 years 7 months ago
Generation of BDDs from hardware algorithm descriptions
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
Shin-ichi Minato
CVRMED
1997
Springer
15 years 7 months ago
Physically-based model for simulating the human trunk respiration movements
Abstract. We have developped a physically-based model where an object is represented by a set of mass points on its contour. Each object may be defined locally and physically usin...
Emmanuel Promayon, Pierre Baconnier, Claude Puech