UNI-MB - logo
UMNIK - logo
 

Search results

Basic search    Advanced search   
Search
request
Library

Currently you are NOT authorised to access e-resources UM. For full access, REGISTER.

1
hits: 1
1.
  • Formalna verifikacija MESI protokola implementiranog na RT nivou
    Jankovic, Jana 2023 31st Telecommunications Forum (TELFOR), 2023-Nov.-21
    Conference Proceeding

    Protokoli za koherentnost keš memorije osmišljeni su u kontekstu rješavanja problema koherentnosti keš memorije u multiprocesorskim sistemima. Do sada je najčešće rađena formalna verifikacija ovih ...
Full text

Load filters