Digitalna knjižnica Slovenije
Narodna in univerzitetna knjižnica
Splošne knjižnice
Celjsko območje
Vse knjižnice območja
Osrednja knjižnica Celje
Knjižnica Laško
Osrednja knjižnica Mozirje
Knjižnica Šentjur
Knjižnica Šmarje
Knjižnica Velenje
Medobčinska splošna knjižnica Žalec
Dolenjsko območje
Knjižnica Mirana Jarca Novo mesto
Knjižnica Brežice
Knjižnica Kočevje
Valvasorjeva knjižnica Krško
Knjižnica Miklova hiša, Ribnica
Gorenjsko območje
Mestna knjižnica Kranj
Občinska knjižnica Jesenice
Knjižnica A. T. Linharta, Radovljica
Knjižnica Ivana Tavčarja, Škofja Loka
Knjižnica dr. Toneta Pretnarja, Tržič
Goriško območje
Vse knjižnice območja
Goriška knjižnica Franceta Bevka Nova Gorica
Lavričeva knjižnica, Ajdovščina
Mestna knjižnica in čitalnica Idrija
Knjižnica Cirila Kosmača Tolmin
Koroško območje
Koroška osrednja knjižnica dr. Franca Sušnika Ravne na Koroškem
Knjižnica Radlje ob Dravi
Knjižnica Ksaverja Meška, Slovenj Gradec
Obalno-kraško območje
Osrednja knjižnica Srečka Vilharja Koper
Knjižnica Makse Samsa, Ilirska Bistrica
Mestna knjižnica Izola - Biblioteca civica di Isola->Matična knjižnica Izola
Mestna knjižnica Piran
Kosovelova knjižnica Sežana
Osrednjeslovensko območje
Mestna knjižnica Ljubljana
Knjižnica Jožeta Udoviča, Cerknica
Knjižnica Domžale
Knjižnica Grosuplje
Knjižnica Franceta Balantiča Kamnik
Knjižnica Litija
Knjižnica Logatec
Knjižnica Medvode
Cankarjeva knjižnica Vrhnika
Pomursko območje
Pokrajinska in študijska knjižnica Murska Sobota
Javni zavod Knjižnica Gornja Radgona
Splošna knjižnica Ljutomer
Spodnjedravsko območje
Knjižnica Ivana Potrča Ptuj
Knjižnica Franca Ksavra Meška Ormož
Štajersko območje
Mariborska knjižnica
Knjižnica Lenart
Knjižnica Josipa Vošnjaka Slovenska Bistrica
Druge knjižnice
Bayerische StaatsBibliotek
Centralna pravosodna knjižnica
Centralna tehniška knjižnica Univerze v Ljubljani
Knjižnica Dušana Černeta Trst
Kraljeva knjižnica, Danska nacionalna knjižnica in univerzitetna knjižnica v Kopenhagnu
Narodna in študijska knjižnica
Österreichische Nationalbibliothek
Semeniška knjižnica
Slovenska študijska knjižnica Celovec
Škrabčeva knjižnica
Univerzitetna knjižnica Maribor
Arhivi in muzeji
Arhiv Republike Slovenije
Goriški muzej
Loški muzej Škofja Loka
Muzej in galerije mesta Ljubljana
Muzej Miklova hiša
Muzej novejše zgodovine Celje
Narodni muzej Slovenije
Pokrajinski arhiv Maribor
Pokrajinski muzej Kočevje
Prirodoslovni muzej Slovenije
Slovenian Museum and Archives - Slovenski muzej in arhiv
Slovenski etnografski muzej
Slovenski šolski muzej
Škofijski arhiv Koper
Meni
SLO
|
ENG
avtor
celotno besedilo
ključne besede
leto
naslov
vir
založnik
zbirka
IN
ALI
NE
avtor
celotno besedilo
ključne besede
leto
naslov
vir
založnik
zbirka
IN
ALI
NE
avtor
celotno besedilo
ključne besede
leto
naslov
vir
založnik
zbirka
IN
ALI
NE
avtor
celotno besedilo
ključne besede
leto
naslov
vir
založnik
zbirka
IN
ALI
NE
NAPREDNO ISKANJE
O nas
Sodelovanje
Pogoji uporabe
dLib statistike
Seznam partnerjev
Novice
Virtualne razstave
Pišite nam
Moj dLib.si
Epošta
:
Geslo:
Prijava
Registriraj se!
Pozabljeno geslo
domov
poizvedba
URN:NBN:SI:DOC-XDKZJZJX
Zapri
<script>(function (d, script) { script = d.createElement('script'); script.type = 'text/javascript'; script.async = true; script.onload = function () { iFrameResize({ log: true, checkOrigin: false }) }; script.src = 'https://cdnjs.cloudflare.com/ajax/libs/iframe-resizer/3.5.11/iframeResizer.min.js'; d.getElementsByTagName('head')[0].appendChild(script); }(document));</script><iframe frameborder="0" width="100%" height="482px;" src="http://www.dlib.si/card/URN:NBN:SI:DOC-XDKZJZJX"></iframe>
Zapri
Formal verification of distributed mutual-exclusion circuits
1. PDF datoteka (1290 kB)
1. TXT datoteka (47 kB)
Izvoz v EndNote (RIS format)
Avtor(ji)
Meolic, Robert (avtor)
Kapus, Tatjana (avtor)
Dugonik, Bogdan (avtor)
Brezočnik, Zmago (avtor)
Jezik
angleški
Vir
Informacije MIDEM
Leto
2003
Številčenje
letnik 33,
številka 3
Vsebina
telekomunikacije
digitalni sistemi
asinhrono vezje
modeli
testiranje
Založnik
Strokovno društvo za mikroelektroniko, elektronske sestavne dele in materiale
Izvor
Strokovno društvo za mikroelektroniko, elektronske sestavne dele in materiale
(Obvezni izvod spletne publikacije)
Opis
Vezja za porazdeljeno medsebojno izkljueevanje (DME) so zanimiv primer asinhronih vezij. Sestavljena so iz enakih celic DME, povezanih v obroe poljubne velikosti. Vsaka od celic DME ponuja prikljueno toeko za enega uporabnika in vsi uporabniki med seboj tekmujejo za izkljueen dostop do skupnega vira. V elanku obravnavamo formalno verifikacijo dveh znanih izvedb vezja DME. Obnašanje vezij opišemo s preprostim procesom, zahtevane lastnosti pa s temporalno logiko ACTL. Na ta naein smo lahko odkrili hazarde ter verificirali pravilnost obnašanja vezij v fundamentalnem naeinu delovanja.
Pravice
URN
URN:NBN:SI:DOC-XDKZJZJX
COBISSID
8590614
Objavljeno
18.12.2015
Metapodatki
Citiranje
APA:
Meolic, Robert, Kapus, Tatjana, Dugonik, Bogdan, Brezočnik, Zmago (2003). Formal verification of distributed mutual-exclusion circuits.
Informacije MIDEM
, letnik 33, številka 3, str. 157-169
.
URN:NBN:SI:DOC-XDKZJZJX
from http://www.dlib.si
MLA:
Meolic, Robert, Kapus, Tatjana, Dugonik, Bogdan, Brezočnik, Zmago. "Formal verification of distributed mutual-exclusion circuits."
Informacije MIDEM
letnik 33. številka 3 (2003) str. 157-169.
<http://www.dlib.si/?URN=URN:NBN:SI:DOC-XDKZJZJX>
Informacije MIDEM
1986-
(Zbirni zapis)