1578 search results - page 300 / 316 » Algorithmic randomness of continuous functions |
224
Voted
PATMOS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
177
Voted
SOFSEM
2007
Springer
16 years 14 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
174
Voted
MICRO
2006
IEEE
16 years 11 days ago
2006
IEEE
We introduce virtually-pipelined memory, an architectural technique that efficiently supports high-bandwidth, uniform latency memory accesses, and high-confidence throughput eve...
185
Voted
BMCBI
2005
15 years 6 months ago
2005
Background: Accurate and automatic gene finding and structural prediction is a common problem in bioinformatics, and applications need to be capable of handling non-canonical spli...
187
Voted
JCB
2007
15 years 6 months ago
2007
The assignment of orthologous genes between a pair of genomes is a fundamental and challenging problem in comparative genomics, since many computational methods for solving variou...