Sciweavers

840 search results - page 51 / 168
» Modelling Functional Requirements in Spatial Design
Sort
View
CODES
2008
IEEE
13 years 10 months ago
Design and defect tolerance beyond CMOS
It is well recognized that novel computational models, devices and technologies are needed in order to sustain the remarkable advancement of CMOS-based VLSI circuits and systems. ...
Xiaobo Sharon Hu, Alexander Khitun, Konstantin K. ...
ICMCS
1999
IEEE
164views Multimedia» more  ICMCS 1999»
14 years 23 days ago
A Semi-Automatic System to Infer Complex 3-D Shapes from Photographs
We present a semi-automatic image-based modeling system to make 3-D models from photographs. The human operator intervenes only for simple and straightforward tasks. The design of...
Qian Chen, Gérard G. Medioni
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
14 years 2 months ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
RTS
2008
131views more  RTS 2008»
13 years 8 months ago
A constant-time dynamic storage allocator for real-time systems
Dynamic memory allocation has been used for decades. However, it has seldom been used in real-time systems since the worst case of spatial and temporal requirements for allocation ...
Miguel Masmano, Ismael Ripoll, Patricia Balbastre,...
GMP
2000
IEEE
173views Solid Modeling» more  GMP 2000»
14 years 27 days ago
A Representation Independent Geometric Modeling Kernel
This paper is concerned with “open kernel” geometric modelling systems. It uses industrial needs to identify requirements for the geometric objects of a proposed interface. Th...
Alan E. Middleditch, Chris Reade, Abel J. P. Gomes