Sciweavers

3415 search results - page 38 / 683
» Physical Design Refinement: The
Sort
View
ASPDAC
2006
ACM
82views Hardware» more  ASPDAC 2006»
14 years 2 months ago
Discovering the input assumptions in specification refinement coverage
The design of a large chip is typically hierarchical
Prasenjit Basu, Sayantan Das, Pallab Dasgupta, Par...
SIAMSC
2010
119views more  SIAMSC 2010»
13 years 9 months ago
An Entropy Adjoint Approach to Mesh Refinement
This work presents a mesh refinement indicator based on entropy variables, with an application to the compressible Navier-Stokes equations. The entropy variables are shown to sati...
Krzysztof J. Fidkowski, Philip L. Roe
GLVLSI
2007
IEEE
141views VLSI» more  GLVLSI 2007»
14 years 2 months ago
A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
CORR
2010
Springer
132views Education» more  CORR 2010»
13 years 8 months ago
Integrating digital human modeling into virtual environment for ergonomic oriented design
Virtual human simulation integrated into virtual reality applications is mainly used for virtual representation of the user in virtual environment or for interactions between the ...
Liang Ma, Damien Chablat, Fouad Bennis, Bo Hu, Wei...
AIPS
1994
13 years 12 months ago
Design Tradeoffs in Partial Order (Plan space) Planning
Despite the long history of classical planning, there has been very little comparative analysis of the performance tradeoffs offered by the multitude of existing planning algorith...
Subbarao Kambhampati