Sciweavers

352 search results - page 24 / 71
» Quantifying Instruction Criticality
Sort
View
SCS
2003
14 years 9 days ago
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
Rob Weaver, Jane Fenn, Tim Kelly
CORR
2010
Springer
99views Education» more  CORR 2010»
13 years 11 months ago
Locating phase transitions in computationally hard problems
We discuss how phase-transitions may be detected in computationally hard problems in the context of anytime algorithms. Treating the computational time, value and utility functions...
B. Ashok, T. K. Patra
TMI
2008
118views more  TMI 2008»
13 years 9 months ago
A Note on the Validity of Statistical Bootstrapping for Estimating the Uncertainty of Tensor Parameters in Diffusion Tensor Imag
Abstract--Diffusion tensors are estimated from magnetic resonance images (MRIs) that are diffusion-weighted, and those images inherently contain noise. Therefore, noise in the diff...
Ying Yuan, Hongtu Zhu, Joseph G. Ibrahim, Weili Li...
ISPASS
2006
IEEE
14 years 5 months ago
Characterizing the branch misprediction penalty
Despite years of study, branch mispredictions remain as a significant performance impediment in pipelined superscalar processors. In general, the branch misprediction penalty can...
Stijn Eyerman, James E. Smith, Lieven Eeckhout
ARCS
2006
Springer
14 years 2 months ago
Do Trace Cache, Value Prediction and Prefetching Improve SMT Throughput?
While trace cache, value prediction, and prefetching have been shown to be effective in the single-threaded superscalar, there has been no analysis of these techniques in a Simulta...
Chen-Yong Cher, Il Park, T. N. Vijaykumar