1886 search results - page 233 / 378 » Verifying and Validating Simulation Models |
108
click to vote
DAC
1999
ACM
15 years 6 months ago
1999
ACM
We present our practical experience in the modeling and integration of cycle/phase-accurate instruction set architecture (ISA) models of digital signal processors (DSPs) with othe...
126
click to vote
ICCAD
2009
IEEE
15 years 8 days ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
107
click to vote
JUCS
2010
15 years 29 days ago
2010
: For many complex and dynamic ubiquitous services, context-aware cooperation can be a solution. However, the way is not yet clear to make individual objects cooperate with each ot...
157
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Identification of differentially expressed genes is a typical objective when analyzing gene expression data. Recently, Bayesian hierarchical models have become increas...
159
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...