2278 search results - page 255 / 456 » Specification Techniques for Automatic Performance Analysis ... |
163
click to vote
ISLPED
2006
ACM
16 years 6 days ago
2006
ACM
Process variations will increasingly impact the operational characteristics of integrated circuits in nanoscale semiconductor technologies. Researchers have proposed various desig...
189
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: We recently developed the Paired End diTag (PET) strategy for efficient characterization of mammalian transcriptomes and genomes. The paired end nature of short PET se...
182
click to vote
CAV
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
141
click to vote
ICDM
2006
IEEE
16 years 8 days ago
2006
IEEE
Interpersonal interaction plays an important role in organizational dynamics, and understanding these interaction networks is a key issue for any organization, since these can be ...
152
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Detection of Loss of Heterozygosity (LOH) is one of the most common molecular applications in the study of human diseases, in particular cancer. The technique is commo...