2135 search results - page 156 / 427 » Dependability Analysis of CAN Networks: An Emulation-Based A... |
ESEM
2007
ACM
14 years 7 days ago
2007
ACM
In the foreseeable future, software testing will remain one of the best tools we have at our disposal to ensure software dependability. Empirical studies are crucial to software t...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
BCB
2010
13 years 3 months ago
2010
We present a new method for identifying gene sets associated with labeled samples, where the labels can be case versus control, or genotype differences. Existing approaches to thi...
BMCBI
2007
13 years 8 months ago
2007
Background: Microarray co-expression signatures are an important tool for studying gene function and relations between genes. In addition to genuine biological co-expression, corr...
ASPDAC
2010
ACM
13 years 6 months ago
2010
ACM
In this paper, we present a new voltage IR drop analysis approach for large on-chip power delivery networks. The new approach is based on recently proposed sampling based reductio...