3056 search results - page 422 / 612 » Open Implementation Analysis and Design |
175
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Time course microarray profiles examine the expression of genes over a time domain. They are necessary in order to determine the complete set of genes that are dynamic...
138
click to vote
DOCENG
2007
ACM
15 years 10 months ago
2007
ACM
Genre, like layout, is an important factor in effective communication, and automated tools which assist in genre compliance are thus of considerable value. Genres are reusable met...
157
Voted
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
184
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: High-throughput genotyping technology has enabled cost effective typing of thousands of individuals in hundred of thousands of markers for use in genome wide studies. ...
134
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. Such algorithms can be at times ineffective ...