Sciweavers

4498 search results - page 447 / 900
» How to Invent Functions
Sort
View
ICCAD
2006
IEEE
107views Hardware» more  ICCAD 2006»
16 years 3 months ago
Decoupling capacitor planning and sizing for noise and leakage reduction
—Decoupling capacitors (decaps) are a popular means for reducing power-supply noise in integrated circuits. Since the decaps are usually inserted in the whitespace of the device ...
Eric Wong, Jacob R. Minz, Sung Kyu Lim
ICCAD
2001
IEEE
101views Hardware» more  ICCAD 2001»
16 years 3 months ago
Instruction Generation for Hybrid Reconfigurable Systems
In this work, we present an algorithm for simultaneous template generation and matching. The algorithm profiles the graph and iteratively contracts edges to create the templates. ...
Ryan Kastner, Seda Ogrenci Memik, Elaheh Bozorgzad...
PADL
2010
Springer
16 years 3 months ago
Conversion by Evaluation
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
Mathieu Boespflug
CVPR
2010
IEEE
16 years 3 months ago
Coded Exposure Imaging for Projective Motion Deblurring
We propose a method for deblurring of spatially variant object motion. A principal challenge of this problem is how to estimate the point spread function (PSF) of the spatially va...
Yu-Wing Tai, Naejin Kong, Stephen Lin, Sung Yong S...
TEI
2010
ACM
129views Hardware» more  TEI 2010»
16 years 1 months ago
TextDraw: a prototype for gestural typesetting
This paper considers a new approach that allows for the creation of typographic works through gestural interaction. It describes a prototype application called TextDraw, which is ...
Travis Kirton, Pamela Jennings, Hideaki Ogawa