4911 search results - page 473 / 983 » Tree dependence analysis |
219
Voted
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
For complex System-on-chips (SoCs) fabricated in nanometer technologies, the system-level on-chip communication architecture is emerging as a significant source of power consumpti...
166
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
219
click to vote
SPRINGSIM
2007
15 years 7 months ago
2007
— Stochastic activity networks (SANs) are a widely used formalism for describing complex systems that have random behavior. Sophisticated software tools exist for the modeling an...
173
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: It has been long well known that genes do not act alone; rather groups of genes act in consort during a biological process. Consequently, the expression levels of gene...
186
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The enumeration of tetrameric and other sequence motifs that are positively or negatively correlated with in vivo antisense DNA effects has been a useful addition to t...