Sciweavers

53302 search results - page 365 / 10661
» On the design of a
Sort
View
VLSID
2002
IEEE
159views VLSI» more  VLSID 2002»
16 years 7 months ago
Challenges in the Design of a Scalable Data-Acquisition and Processing System-on-Silicon
Increasing complexity of the functionalities and the resultant growth in number of gates integrated in a chip coupled with shrinking geometries and short cycle time requirements br...
Karanth Shankaranarayana, Soujanna Sarkar, R. Venk...
STOC
2007
ACM
71views Algorithms» more  STOC 2007»
16 years 7 months ago
Survivable network design with degree or order constraints
Lap Chi Lau, Joseph Naor, Mohammad R. Salavatipour...
ICCD
2007
IEEE
161views Hardware» more  ICCD 2007»
16 years 3 months ago
Scan chain design for three-dimensional integrated circuits (3D ICs)
Scan chains are widely used to improve the testability of IC designs. In traditional 2D IC designs, various design techniques on the construction of scan chains have been proposed...
Xiaoxia Wu, Paul Falkenstern, Yuan Xie
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
16 years 3 months ago
A Thermally-Aware Methodology for Design-Specific Optimization of Supply and Threshold Voltages in Nanometer Scale ICs
As CMOS technology scales deeper into the nanometer regime, factors such as leakage power and chip temperature emerge as critically important concerns for VLSI design. This paper,...
Sheng-Chih Lin, Navin Srivastava, Kaustav Banerjee
TLDI
2009
ACM
140views Formal Methods» more  TLDI 2009»
16 years 3 months ago
Design patterns in separation logic
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
Neelakantan R. Krishnaswami, Jonathan Aldrich, Lar...
« Prev « First page 365 / 10661 Last » Next »