Distribuirano upravljan komunikacijski sistem : poročilo o delu za leto 1987 /
Poročilo predstavlja primernost logičnega programskega jezika Prolog za specifikacijo digitalnega sistema. Pravilnost zasnove sistema se potrdi s formalnim dokazom in ne s simulacijo, kar je tradicionalni pristop. Prikazane so tudi metode, s katerimi povečamo učinkovitost računalniških sistemov, t.j...
Shranjeno v:
Main Authors: | , , , , , , |
---|---|
Format: | Knjiga |
Jezik: | Slovenian |
Izdano: |
Maribor :
Tehniška fakulteta,
1987.
|
Serija: | Digitalna komunikacijska omrežja ;
C2-0525/796-87 |
Teme: |
računalništvo
> računalniške mreže
> komunikacijski sistemi
> distribuirano upravljanje
> računalniške komunikacije
> učinkovitost računalnikov
> ekspertni sistemi
> strojna oprema
> verifikacija
> Prolog
> Verdis
> umetna inteligenca
> avtomatsko razpoznavanje govora
> komunikacija človek-stroj
> govor
computer science
> computer networks
> communication networks
> distributed processing
> computer communications
> computer performance
> expert systems for tuning
> hardware
> verification
> Prolog
> Verdis
> artificial intelligence
> automatic speech recognition
> man-machine communication
> speech
|
Oznake: |
Označite
Brez oznak, prvi označite!
|
Vzdrževanje sistema
Trenutno vzdržujemo knjižnični informacijski sistem.
Informacije o zalogi so trenutno nedostopne. Opravičujemo se za nevšečnosti in vas prosimo da nas ponovno kontaktirate: