4116 search results - page 20 / 824 » Type Analysis for CHIP |
DAC
2005
ACM
14 years 9 months ago
2005
ACM
In this paper, we present a method for analyzing the leakage current, and hence the leakage power, of a circuit under process parameter variations that can include spatial correla...
CSB
2004
IEEE
14 years 10 days ago
2004
IEEE
Current methods for interpreting oligonucleotidebased SNP-detection microarrays, SNP chips, are based on statistics and require extensive parameter tuning as well as extremely hig...
POPL
1993
ACM
14 years 21 days ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
JOLLI
2006
13 years 8 months ago
2006
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...
DATE
2004
IEEE
14 years 10 days ago
2004
IEEE
This work focuses on communication architecture analysis for multi-processor Systems-on-Chips (MPSoCs), and it leverages a SystemC-based platform to simulate a complete multi-proc...