Sciweavers

267 search results - page 21 / 54
» Systematic Simulation Using Sensitivity Analysis
Sort
View
ICCAD
2000
IEEE
138views Hardware» more  ICCAD 2000»
15 years 6 months ago
Fast Analysis and Optimization of Power/Ground Networks
This paper presents an efficient method for optimizing power/ground (P/G) networks by widening wires and adding decoupling capacitors (decaps). It proposes a structured skeleton t...
Haihua Su, Kaushik Gala, Sachin S. Sapatnekar
BMCBI
2008
155views more  BMCBI 2008»
15 years 2 months ago
Extending pathways based on gene lists using InterPro domain signatures
Background: High-throughput technologies like functional screens and gene expression analysis produce extended lists of candidate genes. Gene-Set Enrichment Analysis is a commonly...
Florian Hahne, Alexander Mehrle, Dorit Arlt, Annem...
ICDE
1994
IEEE
127views Database» more  ICDE 1994»
15 years 6 months ago
Approximate Analysis of Real-Time Database Systems
During the past few years, several studies have been made on the performance of real-time database systems with respect to the number of transactions that miss their deadlines. Th...
Jayant R. Haritsa
124
Voted
VISUALIZATION
2005
IEEE
15 years 7 months ago
Visual Analysis and Exploration of Fluid Flow in a Cooling Jacket
We present a visual analysis and exploration of fluid flow through a cooling jacket. Engineers invest a large amount of time and serious effort to optimize the flow through thi...
Robert S. Laramee, Christoph Garth, Helmut Doleisc...
CHARME
2001
Springer
107views Hardware» more  CHARME 2001»
15 years 5 months ago
Using Combinatorial Optimization Methods for Quantification Scheduling
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, Jame...