Sciweavers

3370 search results - page 506 / 674
» Correlation Embedding Analysis
Sort
View
DAC
2009
ACM
14 years 5 months ago
Variational capacitance extraction of on-chip interconnects based on continuous surface model
In this paper we present a continuous surface model to describe the interconnect geometric variation, which improves the currently used model for better accuracy while not increas...
Wenjian Yu, Chao Hu, Wangyang Zhang
SC
2009
ACM
14 years 5 months ago
Leveraging 3D PCRAM technologies to reduce checkpoint overhead for future exascale systems
The scalability of future massively parallel processing (MPP) systems is being severely challenged by high failure rates. Current hard disk drive (HDD) checkpointing results in ov...
Xiangyu Dong, Naveen Muralimanohar, Norman P. Joup...
EVOW
2009
Springer
14 years 5 months ago
Humorized Computational Intelligence towards User-Adapted Systems with a Sense of Humor
This paper investigates the role of humor in non-task oriented (topic restriction free) human-computer dialogue, as well as the correlation between humor and emotions elicited by i...
Pawel Dybala, Michal Ptaszynski, Rafal Rzepka, Ken...
TACAS
2009
Springer
131views Algorithms» more  TACAS 2009»
14 years 5 months ago
Verifying Reference Counting Implementations
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Ma...
TOOLS
2009
IEEE
14 years 5 months ago
Early Crosscutting Metrics as Predictors of Software Instability
Many researchers claim that crosscutting concerns, which emerge in early software development stages, are harmful to software stability. On the other hand, there is a lack of effec...
José María Conejero, Eduardo Figueir...