Sciweavers

3830 search results - page 282 / 766
» From Reference Model to Component Model
Sort
View
151
Voted
ECBS
2006
IEEE
158views Hardware» more  ECBS 2006»
16 years 6 days ago
Automated Translation of C/C++ Models into a Synchronous Formalism
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, L...
SIGGRAPH
1995
ACM
15 years 9 months ago
A realistic camera model for computer graphics
Most recent rendering research has concentrated on two subproblems: modeling the reflection of light from materials, and calculating the direct and indirect illumination from lig...
Craig E. Kolb, Don P. Mitchell, Pat Hanrahan
VLSID
2007
IEEE
154views VLSI» more  VLSID 2007»
16 years 6 months ago
Model Based Test Generation for Microprocessor Architecture Validation
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
Sreekumar V. Kodakara, Deepak Mathaikutty, Ajit Di...
ICRA
2005
IEEE
141views Robotics» more  ICRA 2005»
15 years 11 months ago
Humanoid Vertical Jumping based on Force Feedback and Inertial Forces Optimization
— This paper proposes adapting human jumping dynamics to humanoid robotic structures. Data obtained from human jumping phases and decomposition together with ground reaction forc...
Sophie Sakka, Kazuhito Yokoi
136
Voted
WSC
1997
15 years 7 months ago
A Simulation-Based Backward Planning Approach for Order-Release
The problem of order release planning for a make-toorder production facility is addressed. Traditionally, order-release planning in a multi-stage shop is performed with material r...
Edward F. Watson, Deborah J. Medeiros, Randall P. ...