Sciweavers

10156 search results - page 1970 / 2032
» Step by Step to Histories
Sort
View
TCAD
1998
114views more  TCAD 1998»
14 years 11 months ago
Behavioral optimization using the manipulation of timing constraints
— We introduce a transformation, named rephasing, that manipulates the timing parameters in control-data-flow graphs (CDFG’s) during the high-level synthesis of data-pathinten...
Miodrag Potkonjak, Mani B. Srivastava
107
Voted
TSE
1998
129views more  TSE 1998»
14 years 11 months ago
Inferring Declarative Requirements Specifications from Operational Scenarios
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
Axel van Lamsweerde, Laurent Willemet
TCAD
2002
135views more  TCAD 2002»
14 years 11 months ago
Area fill synthesis for uniform layout density
Chemical-mechanical polishing (CMP) and other manufacturing steps in very deep submicron VLSI have varying effects on device and interconnect features, depending on local character...
Yu Chen, Andrew B. Kahng, Gabriel Robins, Alexande...
TCAD
2002
137views more  TCAD 2002»
14 years 11 months ago
Generalized traveling-wave-based waveform approximation technique for the efficient signal integrity verification of multicouple
As very large scale integration (VLSI) circuit speed rapidly increases, the inductive effects of interconnect lines strongly impact the signal integrity of a circuit. Since these i...
Yungseon Eo, Seongkyun Shin, William R. Eisenstadt...
TIP
2002
114views more  TIP 2002»
14 years 11 months ago
Lossy to lossless object-based coding of 3-D MRI data
Abstract--We propose a fully three-dimensional (3-D) object-based coding system exploiting the diagnostic relevance of the different regions of the volumetric data for rate allocat...
Gloria Menegaz, Jean-Philippe Thiran
« Prev « First page 1970 / 2032 Last » Next »