6138 search results - page 260 / 1228 » High performance computing through parallel processing |
144
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Through the use of DNA microarrays it is now possible to obtain quantitative measurements of the expression of thousands of genes from a biological sample. This techno...
149
Voted
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
151
click to vote
HCW
1998
IEEE
15 years 8 months ago
1998
IEEE
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...
121
click to vote
ISCAPDCS
2001
15 years 5 months ago
2001
-Multi-dimensional applications, such as image processing and seismic analysis, usually require the optimized performance obtained from instruction-level parallelism. The critical ...
152
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Scene recognition is a highly valuable perceptual ability for an indoor mobile robot, however, current approaches for scene recognition present a significant drop in p...