5544 search results - page 97 / 1109 » Three Inadequate Models |
FPL
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a revised model for the yield analysis of FPGA interconnect layers. Based on proven yield models, this work improves the predictions and assumptions of previous...
EURODAC
1995
IEEE
14 years 17 days ago
1995
IEEE
In order to extract a suitable common core information model, design representations on both system and architecture levels are analyzed. Following the specification trajectory, ...
JAR
2008
13 years 9 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...
CCE
2004
13 years 8 months ago
2004
A nonequilibrium (NEQ) model for a complete three-phase distillation in tray columns is described. The model consists of a set of mass and energy balances for each of the three po...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
Initialization and choice of adequate motion models are two important but seldom discussed problems in 3D modelbased pose (position and orientation) tracking. In this paper, we pr...