Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A Case Study on the Verification of Cache Coherence Protocols


    Contributors:
    Azizi, M. (author) / Song, X. (author) / Aboulhamid, E.-M. (author)


    Publication date :

    2004-01-01


    Size :

    10 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    004.16



    Hybrid update / invalidate schemes for cache coherence protocols

    R. V. Dovgopol / M. .. Rosonke | DOAJ | 2016

    Free access

    Hardware Cache Coherence Protocol

    Daoui, M. / Lalam, M. / Djamah, B. et al. | British Library Online Contents | 2004


    A Coherence-Replacement Protocol for Web Proxy Cache Systems

    Aguilar, J. / Leiss, E. L. | British Library Online Contents | 2006


    Modification of Cache Coherence Protocol for the Distributed Environment

    Srbljic, S. | British Library Online Contents | 1993


    Hierarchy requirements and verification for cryptographic protocols

    Liu, Y.-w. / Li, W.-q. | British Library Online Contents | 2002