Sciweavers

6404 search results - page 471 / 1281
» Blocks
Sort
View
ICCAD
2006
IEEE
101views Hardware» more  ICCAD 2006»
16 years 3 months ago
Leakage power dependent temperature estimation to predict thermal runaway in FinFET circuits
In this work we propose a methodology to self-consistently solve leakage power with temperature to predict thermal runaway. We target 28nm FinFET based circuits as they are more p...
Jung Hwan Choi, Aditya Bansal, Mesut Meterelliyoz,...
ICCAD
2004
IEEE
145views Hardware» more  ICCAD 2004»
16 years 3 months ago
Accurate estimation of global buffer delay within a floorplan
Closed formed expressions for buffered interconnect delay approximation have been around for some time. However, previous approaches assume that buffers are free to be placed anyw...
Charles J. Alpert, Jiang Hu, Sachin S. Sapatnekar,...
TLDI
2010
ACM
210views Formal Methods» more  TLDI 2010»
16 years 3 months ago
Effects for cooperable and serializable threads
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
Jaeheon Yi, Cormac Flanagan
IUI
2009
ACM
16 years 3 months ago
Structuring and manipulating hand-drawn concept maps
Concept maps are an important tool to knowledge organization, representation, and sharing. Most current concept map tools do not provide full support for hand-drawn concept map cr...
Yingying Jiang, Feng Tian, XuGang Wang, Xiaolong Z...
DCC
2010
IEEE
16 years 1 months ago
Estimation-Theoretic Delayed Decoding of Predictively Encoded Video Sequences
Current video coding schemes employ motion compensation to exploit the fact that the signal forms an auto-regressive process along the motion trajectory, and remove temporal redun...
Jingning Han, Vinay Melkote, Kenneth Rose