193 search results - page 23 / 39 » A PVS Based Framework for Validating Compiler Optimizations |
130
Voted
MM
2010
ACM
15 years 3 months ago
2010
ACM
Quality control and resource optimization are challenging problems in peer-assisted video streaming systems, due to their large scales and unreliable peer behavior. Such systems a...
190
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
The success of stochastic algorithms is often due to their ability to effectively amplify the performance of search heuristics. This is certainly the case with stochastic sampling ...
143
Voted
PEPM
2009
ACM
16 years 7 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
127
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Currently real time PCR is the most precise method by which to measure gene expression. The method generates a large amount of raw numerical data and processing may no...
184
Voted
Publication
For quantitative analysis of histopathological images,
such as the lymphoma grading systems, quantification of
features is usually carried out on single cells before categorizing...