Sciweavers

3212 search results - page 144 / 643
» Faster Concept Analysis
Sort
View
ICCD
2007
IEEE
121views Hardware» more  ICCD 2007»
16 years 1 months ago
Fast power network analysis with multiple clock domains
This paper proposes an efficient analysis flow and an algorithm to identify the worst case noise for power networks with multiple clock domains. First, we apply the Laplace transf...
Wanping Zhang, Ling Zhang, Rui Shi, He Peng, Zhi Z...
PLDI
2006
ACM
15 years 10 months ago
Combining type-based analysis and model checking for finding counterexamples against non-interference
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa
GLVLSI
2010
IEEE
190views VLSI» more  GLVLSI 2010»
15 years 6 months ago
A linear statistical analysis for full-chip leakage power with spatial correlation
In this paper, we present an approved linear-time algorithm for statistical leakage analysis in the present of any spatial correlation condition (strong or weak). The new algorith...
Ruijing Shen, Sheldon X.-D. Tan, Jinjun Xiong
BMCBI
2010
104views more  BMCBI 2010»
15 years 4 months ago
Response network analysis of differential gene expression in human epithelial lung cells during avian influenza infections
Background: The recent emergence of the H5N1 influenza virus from avian reservoirs has raised concern about future influenza strains of high virulence emerging that could easily i...
Ken Tatebe, Ahmet Zeytun, Ruy M. Ribeiro, Robert H...
TASLP
2008
176views more  TASLP 2008»
15 years 4 months ago
Analysis of Minimum Distances in High-Dimensional Musical Spaces
Abstract--We propose an automatic method for measuring content-based music similarity, enhancing the current generation of music search engines and recommender systems. Many previo...
Michael Casey, Christophe Rhodes, Malcolm Slaney