3082 search results - page 537 / 617 » Deviation Analysis: A New Use of Model Checking |
ASIACRYPT
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. AES is the most widely used block cipher today, and its security is one of the most important issues in cryptanalysis. After 13 years of analysis, related-key attacks wer...
115
click to vote
JCDL
2009
ACM
15 years 6 months ago
2009
ACM
The amount of scientific material available electronically is forever increasing. This makes reading the published literature, whether to stay up-to-date on a topic or to get up ...
BIOINFORMATICS
2010
15 years 12 hour ago
2010
DNA copy number variants (CNV) are gains and losses of segments of chromosomes, and comprise an important class of genetic variation. Recently, various microarray hybridization ba...
BMCBI
2005
14 years 11 months ago
2005
Background: Normalization is a critical step in analysis of gene expression profiles. For duallabeled arrays, global normalization assumes that the majority of the genes on the ar...
115
click to vote
TSE
2010
14 years 10 months ago
2010
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...