927 search results - page 69 / 186 » A comparison of two approaches to pseudorandomness |
CONCUR
1991
Springer
15 years 3 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
119
click to vote
EGH
2010
Springer
14 years 10 months ago
2010
Springer
We modify the Reyes object-space shading approach to address two inefficiencies that result from performing shading calculations at micropolygon grid vertices prior to rasterizati...
98
Voted
GCB
2009
Springer
15 years 3 months ago
2009
Springer
Abstract: It is often challenging to reconstruct accurately a complete dynamic biological network due to the scarcity of data collected in cost-effective experiments. This paper ad...
100
click to vote
IJHPCA
2006
14 years 12 months ago
2006
Abstract-- High performance computing platforms like Clusters, Grid and Desktop Grids are becoming larger and subject to more frequent failures. MPI is one of the most used message...
118
click to vote
JMLR
2010
14 years 6 months ago
2010
Data extracted from microarrays are now considered an important source of knowledge about various diseases. Several studies based on microarray data and the use of receiver operat...