Sciweavers

6039 search results - page 74 / 1208
» The Function Space of an Activity
Sort
View
DAC
2006
ACM
14 years 1 months ago
A systematic method for functional unit power estimation in microprocessors
We present a new method for mathematically estimating the active unit power of functional units in modern microprocessors such as the Pentium 4 family. Our method leverages the ph...
Wei Wu, Lingling Jin, Jun Yang 0002, Pu Liu, Sheld...
SIAMJO
2008
212views more  SIAMJO 2008»
13 years 7 months ago
Convergence Rate of an Optimization Algorithm for Minimizing Quadratic Functions with Separable Convex Constraints
A new active set algorithm for minimizing quadratic functions with separable convex constraints is proposed by combining the conjugate gradient method with the projected gradient. ...
Radek Kucera
ADCM
2006
54views more  ADCM 2006»
13 years 8 months ago
Solutions in Sobolev spaces of vector refinement equations with a general dilation matrix
In this paper, we present a necessary and sufficient condition for the existence of solutions in a Sobolev space Wk p (Rs )(1 p ) to a vector refinement equation with a general dil...
Bin Han 0003
ISVC
2009
Springer
14 years 2 months ago
Deconvolving Active Contours for Fluorescence Microscopy Images
Abstract. We extend active contours to constrained iterative deconvolution by replacing the external energy function with a model-based likelihood. This enables sub-pixel estimatio...
Jo A. Helmuth, Ivo F. Sbalzarini
CSFW
2000
IEEE
14 years 11 days ago
Reasoning about Secrecy for Active Networks
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
Pankaj Kakkar, Carl A. Gunter, Martín Abadi