Sciweavers

1087 search results - page 34 / 218
» Generation under Space Constraints
Sort
View
FPGA
2008
ACM
129views FPGA» more  FPGA 2008»
15 years 3 months ago
Efficient ASIP design for configurable processors with fine-grained resource sharing
Application-Specific Instruction-set Processors (ASIP) can improve execution speed by using custom instructions. Several ASIP design automation flows have been proposed recently. ...
Quang Dinh, Deming Chen, Martin D. F. Wong
GI
2009
Springer
15 years 6 months ago
Tapir: Language Support to Reduce the State Space in Model-Checking
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
Ronald Veldema, Michael Philippsen
TSMC
2008
148views more  TSMC 2008»
15 years 1 months ago
Stratification Approach for 3-D Euclidean Reconstruction of Nonrigid Objects From Uncalibrated Image Sequences
Abstract--This paper addresses the problem of 3-D reconstruction of nonrigid objects from uncalibrated image sequences. Under the assumption of affine camera and that the nonrigid ...
Guanghui Wang, Q. M. Jonathan Wu
BROADNETS
2007
IEEE
15 years 8 months ago
Resource dimensioning in WDM networks under state-based routing schemes
— Network dimensioning for wavelength-routed WDM networks has been extensively studied to maximize connection acceptance rate while minimizing the total cost. However, Internet s...
Xiaolan J. Zhang, Sun-il Kim, Steven S. Lumetta
ACCV
2006
Springer
15 years 8 months ago
Fisheye Lenses Calibration Using Straight-Line Spherical Perspective Projection Constraint
Fisheye lenses are often used to enlarge the field of view (FOV) of a conventional camera. But the images taken with fisheye lenses have severe distortions. This paper proposes a...
Xianghua Ying, Zhanyi Hu, Hongbin Zha