Sergey I. Salishev

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 2

Top Topics

Prolate Spheroidal

Static Analysis

Top Venues

Publications

Sergey I. Salishev, Ilya Klotchkov, Andrey Barabanov
Microphone Array Post-filter in Frequency Domain for Speech Recognition Using Short-Time Log-Spectral Amplitude Estimator and Spectral Harmonic/Noise Classifier. SPECOM (2017)
Sergey I. Salishev, Andrey Barabanov, Daniil Kocharov, Pavel A. Skrelin, Mikhail J. Moiseev
Voice Activity Detector (VAD) Based on Long-Term Mel Frequency Band Features. TSD (2016)
Mikhail Glukhikh, Mikhail J. Moiseev, Sergey I. Salishev
A Static Analysis Approach for Verification of Synchronization Correctness of SystemC Designs. DSD (2013)
Mikhail J. Moiseev, Alexey V. Zakharov, Ilya Klotchkov, Sergey I. Salishev
Static analysis method for deadlock detection in SystemC designs. SoC (2011)
Daniel Frampton, Stephen M. Blackburn, Perry Cheng, Robin Garner, David Grove, J. Eliot B. Moss, Sergey I. Salishev
Demystifying magic: high-level low-level programming. VEE (2009)