2935 search results - page 77 / 587 » An Integrated Approach to High Integrity Software Verificati... |
153
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
Recent advances in imaging technologies, such as Magnetic Resonance Imaging (MRI), Positron Emission Tomography (PET) and Diffusion Tensor Imaging (DTI) have accelerated brain res...
139
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
The performance of an HMM-based speech recognizer using MFCCs as input is known to degrade dramatically in noisy conditions. Recently, an exemplar-based noise robust ASR approach,...
131
click to vote
GLVLSI
2009
IEEE
15 years 8 months ago
2009
IEEE
Mounting concerns over variability, defects and noise motivate a new approach for integrated circuits: the design of stochastic logic, that is to say, digital circuitry that opera...
175
click to vote
ISCA
2012
IEEE
13 years 6 months ago
2012
IEEE
When multiple processor (CPU) cores and a GPU integrated together on the same chip share the off-chip main memory, requests from the GPU can heavily interfere with requests from t...
126
click to vote
IEEESCC
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...