Sciweavers

380 search results - page 10 / 76
» Design Methods for Multiple-Valued Input Address Generators
Sort
View
ENTCS
2002
98views more  ENTCS 2002»
13 years 7 months ago
Verified Code Generation for Embedded Systems
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...
Sabine Glesner, Rubino Geiß, Boris Boesler
AIPS
2000
13 years 9 months ago
Challenges and Methods in Testing the Remote Agent Planner
The Remote Agent Experiment (RAX) on the Deep Space 1 (DS1) mission was the first time that an artificially intelligent agent controlled a NASA spacecraft. One of the key componen...
Benjamin D. Smith, Martin S. Feather, Nicola Musce...
TNN
2008
93views more  TNN 2008»
13 years 7 months ago
Towards the Optimal Design of Numerical Experiments
This paper addresses the problem of the optimal design of numerical experiments for the construction of nonlinear surrogate models. We describe a new method, called learner disagre...
S. Gazut, J.-M. Martinez, Gérard Dreyfus, Y...
ROMAN
2007
IEEE
113views Robotics» more  ROMAN 2007»
14 years 2 months ago
Perceptually Transparent Vibration Rendering Using a Vibration Motor for Haptic Interaction
— The vibration motor is an actuator widely used for generating vibrations in haptic interaction, virtual reality, human-computer interaction, and gaming. Whereas the vibration m...
Jonghyun Ryu, Jaehoon Jung, Seojoon Kim, Seungmoon...
ET
2000
145views more  ET 2000»
13 years 7 months ago
Fast Test Pattern Generation for Sequential Circuits Using Decision Diagram Representations
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...
Jaan Raik, Raimund Ubar