1356 search results - page 206 / 272 » The ideal of verified software |
171
click to vote
HIPEAC
2009
Springer
15 years 9 months ago
2009
Springer
Shrinking process technologies and growing chip sizes have profound effects on process variation. This leads to Chip Multiprocessors (CMPs) where not all cores operate at maximum f...
145
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Sequencing of prokaryotic genomes has recently revealed the presence of CRISPR elements: short, highly conserved repeats separated by unique sequences of similar lengt...
186
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: This paper describes SeqDoC, a simple, web-based tool to carry out direct comparison of ABI sequence chromatograms. This allows the rapid identification of single nucl...
176
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Transcription factor binding site (TFBS) prediction is a difficult problem, which requires a good scoring function to discriminate between real binding sites and backg...
250
click to vote
SIGMETRICS
2000
ACM
15 years 6 months ago
2000
ACM
Ad hoc wireless networks are new communication networks that can be dynamically formed and deformed onthe- y, anytime and anywhere. User data is routed with the help of an ad hoc ...