Sciweavers

    21437 search results - page 306 / 4288
    » Hardware
    Sort
    View
    KBSE
    1997
    IEEE
    96views Software Engineering» more  KBSE 1997»
    Research Directions for Automated Software Verification: Using Trusted Hardware
    15 years 10 months ago
    Research Directions for Automated Software Verification: Using Trusted Hardware
    Download  www.stubblebine.com
    Premkumar T. Devanbu, Stuart G. Stubblebine
    claim paper
    Read More »
    RTAS
    1995
    IEEE
    115views Embedded Systems» more  RTAS 1995»
    From single to multiprocessor real-time kernels in hardware
    15 years 10 months ago
    From single to multiprocessor real-time kernels in hardware
    Download  www.mrtc.mdh.se
    Lennart Lindh, Johan Stärner, John Furunä...
    claim paper
    Read More »
    TPHOL
    1991
    IEEE
    108views Automated Reasoning» more  TPHOL 1991»
    First Steps Towards Automating Hardware Proofs in HOL
    15 years 10 months ago
    First Steps Towards Automating Hardware Proofs in HOL
    Download  rsg.informatik.uni-kl.de
    D ABSTRACT) Ramayya Kumar, Thomas Kropf, Klaus Schneider University of Karlsruhe,Institute of ComputerDesign and Fault Tolerance (Prof.Dr.D. Schmid) P.O. Box 6980, W-7500 Karlsruhe...
    Ramayya Kumar, Thomas Kropf, Klaus Schneider
    claim paper
    Read More »
    210
    Voted
    AFRICACRYPT
    2010
    Springer
    201views Cryptology» more  AFRICACRYPT 2010»
    Practical Improvements of Profiled Side-Channel Attacks on a Hardware Crypto-Accelerator
    15 years 10 months ago
    Practical Improvements of Profiled Side-Channel Attacks on a Hardware Crypto-Accelerator
    Download  eprint.iacr.org
    Abstract. This article investigates the relevance of the theoretical framework on profiled side-channel attacks presented by F.-X. Standaert et al. at Eurocrypt 2009. The analyses ...
    M. Abdelaziz Elaabid, Sylvain Guilley
    claim paper
    Read More »
    CF
    2010
    ACM
    185views Applied Computing» more  CF 2010»
    Towards chip-on-chip neuroscience: fast mining of neuronal spike streams using graphics hardware
    15 years 10 months ago
    Towards chip-on-chip neuroscience: fast mining of neuronal spike streams using graphics hardware
    Download  people.cs.vt.edu
    Computational neuroscience is being revolutionized with the advent of multi-electrode arrays that provide real-time, dynamic perspectives into brain function. Mining neuronal spik...
    Yong Cao, Debprakash Patnaik, Sean P. Ponce, Jerem...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.