Sciweavers

19 search results - page 3 / 4
» Canonical Abstraction for Outerjoin Optimization
Sort
View
DATE
2007
IEEE
146views Hardware» more  DATE 2007»
15 years 5 months ago
Data-flow transformations using Taylor expansion diagrams
Abstract: An original technique to transform functional representation of the design into a structural representation in form of a data flow graph (DFG) is described. A canonical,...
Maciej J. Ciesielski, Serkan Askar, Daniel Gomez-P...
PATMOS
2007
Springer
15 years 5 months ago
Optimization for Real-Time Systems with Non-convex Power Versus Speed Models
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
Ani Nahapetian, Foad Dabiri, Miodrag Potkonjak, Ma...
TIP
2008
141views more  TIP 2008»
14 years 11 months ago
Spatio-Spectral Color Filter Array Design for Optimal Image Recovery
Abstract--In digital imaging applications, data are typically obtained via a spatial subsampling procedure implemented as a color filter array--a physical construction whereby only...
Keigo Hirakawa, Patrick J. Wolfe
EMMCVPR
1997
Springer
15 years 3 months ago
Deterministic Annealing for Unsupervised Texture Segmentation
Abstract. In this paper a rigorous mathematical framework of deterministic annealing and mean-field approximation is presented for a general class of partitioning, clustering and ...
Thomas Hofmann, Jan Puzicha, Joachim M. Buhmann
ESOP
2003
Springer
15 years 4 months ago
A Tail-Recursive Semantics for Stack Inspections
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
John Clements, Matthias Felleisen