Vaš brskalnik ne omogoča JavaScript!
JavaScript je nujen za pravilno delovanje teh spletnih strani. Omogočite JavaScript ali uporabite sodobnejši brskalnik.
|
|
SLO
|
ENG
|
Piškotki in zasebnost
DKUM
EPF - Ekonomsko-poslovna fakulteta
FE - Fakulteta za energetiko
FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
FF - Filozofska fakulteta
FGPA - Fakulteta za gradbeništvo, prometno inženirstvo in arhitekturo
FKBV - Fakulteta za kmetijstvo in biosistemske vede
FKKT - Fakulteta za kemijo in kemijsko tehnologijo
FL - Fakulteta za logistiko
FNM - Fakulteta za naravoslovje in matematiko
FOV - Fakulteta za organizacijske vede
FS - Fakulteta za strojništvo
FT - Fakulteta za turizem
FVV - Fakulteta za varnostne vede
FZV - Fakulteta za zdravstvene vede
MF - Medicinska fakulteta
PEF - Pedagoška fakulteta
PF - Pravna fakulteta
UKM - Univerzitetna knjižnica Maribor
UM - Univerza v Mariboru
UZUM - Univerzitetna založba Univerze v Mariboru
COBISS
Ekonomsko poslovna fakulteta
Fakulteta za kmetijstvo in biosistemske vede
Fakulteta za logistiko
Fakulteta za organizacijske vede
Fakulteta za varnostne vede
Fakulteta za zdravstvene vede
Knjižnica tehniških fakultet
Medicinska fakulteta
Miklošičeva knjižnica - FPNM
Pravna fakulteta
Univerzitetna knjižnica Maribor
Večja pisava
|
Manjša pisava
Uvodnik
Iskanje
Brskanje
Oddaja dela
Za študente
Za zaposlene
Statistika
Prijava
Prva stran
>
Izpis gradiva
Izpis gradiva
Naslov:
Representation of Boolean functions with ROBDDs
Avtorji:
ID
Časar, Aleš
(Avtor)
ID
Meolic, Robert
(Avtor)
Datoteke:
robdd-casar-meolic.pdf
(323,32 KB)
MD5: 66DCC70305CACE042DC889E9C7ADEC7B
PID:
20.500.12556/dkum/7fc4eb02-c4cc-49f0-8a78-0d6593f48a01
Jezik:
Angleški jezik
Vrsta gradiva:
Delo ni kategorizirano
Tipologija:
1.16 - Samostojni znanstveni sestavek ali poglavje v monografski publikaciji
Organizacija:
FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
Opis:
This paper describes data structures and algorithms for representation of Boolean functions with reduced ordered binary decision diagrams (ROBDDs). A hash table is used for quick search. Additional information about variables and functions is stored in binary trees. Manipulations on functions are based on a recursive algorithm of ITE operation. The primary goal of this article is describe programming technics needed to realize the idea. For the first time here recursive algorithms for composing functions and garbage collection with a formulae counter are presented. This is better than garbage collection in other known implementations. The results of the tests show that the described representation is very efficient in applications which operate with Boolean functions.
Ključne besede:
Reduced Ordered Binary Decision Diagram
,
Boolean function
,
logic functions
,
logic design verification
,
hash table
Status publikacije:
Objavljeno
Št. strani:
[8] str.
PID:
20.500.12556/DKUM-67091
UDK:
004:519.2
COBISS.SI-ID:
6992150
NUK URN:
URN:SI:UM:DK:SESLSZ31
Datum objave v DKUM:
02.02.2018
Število ogledov:
2539
Število prenosov:
56
Metapodatki:
Področja:
Ostalo
Citiraj gradivo
Navadno besedilo
BibTeX
EndNote XML
EndNote/Refer
RIS
ABNT
ACM Ref
AMA
APA
Chicago 17th Author-Date
Harvard
IEEE
ISO 690
MLA
Vancouver
:
ČASAR, Aleš in MEOLIC, Robert, brez datuma, Representation of Boolean functions with ROBDDs. V :
IEEE Student paper contest
[na spletu]. Piscataway. [Dostopano 21 januar 2025]. Pridobljeno s: https://dk.um.si/IzpisGradiva.php?lang=slv&id=67091
Kopiraj citat
Skupna ocena:
0.5
1
1.5
2
2.5
3
3.5
4
4.5
5
(0 glasov)
Vaša ocena:
Ocenjevanje je dovoljeno samo
prijavljenim
uporabnikom.
Objavi na:
Podobna dela iz repozitorija:
Motivacija zaposlenih v javnem zdravstvenem zavodu
Analiza kuhinjskih odpadkov v zdravstveni ustanovi
Zahtevek in protokol za posredovanje podatkov Državnega programa in Registra ZORA
Organizacijska klima v zdravstveni organizaciji in njen vpliv na delo zaposlenih
Delovanje in prilagajanje organizacij v izrednih razmerah
Podobna dela iz ostalih repozitorijev:
Upravljanje talentov kot del strateške prednosti organizacije Y
Vpeljava nove vrste vzdrževanja v proizvodni organizaciji
Vpliv digitalizacije na menedžment človeških virov
Izboljšanje kakovosti kompetenc mentorjev praktičnega izobraževanja študentov
Retaining key personnel in the organisation
Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše podrobnosti ali sproži prenos.
Gradivo je del monografije
Naslov:
IEEE Student paper contest : regional contest winners 1990-1997
Kraj izida:
Piscataway
Založnik:
#The #Institute of Electrical and Electronics Engineers
Leto izida:
2000
COBISS.SI-ID:
6991894
Licence
Licenca:
CC BY 4.0, Creative Commons Priznanje avtorstva 4.0 Mednarodna
Povezava:
http://creativecommons.org/licenses/by/4.0/deed.sl
Opis:
To je standardna licenca Creative Commons, ki daje uporabnikom največ možnosti za nadaljnjo uporabo dela, pri čemer morajo navesti avtorja.
Začetek licenciranja:
02.08.2017
Sekundarni jezik
Jezik:
Angleški jezik
Ključne besede:
Boolove funkcije
,
algoritmi
,
binarni odločitveni diagram
,
struktura podatkov
Komentarji
Dodaj komentar
Za komentiranje se morate
prijaviti
.
Komentarji (0)
0 - 0 / 0
Ni komentarjev!
Nazaj