Sciweavers

643 search results - page 15 / 129
» Merge-Based Computation of Minimal Generators
Sort
View
ISLPED
2004
ACM
159views Hardware» more  ISLPED 2004»
14 years 1 months ago
Dynamic voltage scaling for systemwide energy minimization in real-time embedded systems
Traditionally, dynamic voltage scaling (DVS) techniques have focused on minimizing the processorenergy consumption as opposed to the entire system energy consumption. The slowdown...
Ravindra Jejurikar, Rajesh K. Gupta
ICCAD
2000
IEEE
148views Hardware» more  ICCAD 2000»
14 years 2 days ago
FIR Filter Synthesis Algorithms for Minimizing the Delay and the Number of Adders
—As the complexity of digital filters is dominated by the number of multiplications, many works have focused on minimizing the complexity of multiplier blocks that compute the co...
Hyeong-Ju Kang, Hansoo Kim, In-Cheol Park
LICS
2005
IEEE
14 years 1 months ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth
VISUALIZATION
1995
IEEE
13 years 11 months ago
Tensor Product Surfaces Guided by Minimal Surface Area Triangulations
We present a method for constructing tensor product Bezier surfaces from contour (cross-section) data. Minimal area triangulations are used to guide the surface construction, and ...
John K. Johnstone, Kenneth R. Sloan
SIAMIS
2010
155views more  SIAMIS 2010»
13 years 2 months ago
Smoothing Nonlinear Conjugate Gradient Method for Image Restoration Using Nonsmooth Nonconvex Minimization
Image restoration problems are often converted into large-scale, nonsmooth and nonconvex optimization problems. Most existing minimization methods are not efficient for solving su...
Xiaojun Chen, Weijun Zhou