Equivalent transformations of structurally synthesized BDDs and applications
autor
Jürimägi, Lembit
Ubar, Raimund-Johannes
Viies, Vladimir
vastutusandmed
Lembit Jürimägi, Raimund Ubar, Vladimir Viies
allikas
2019 8th Mediterranean Conference on Embedded Computing (MECO)
ilmumiskoht
[S.l.]
kirjastus/väljaandja
IEEE
ilmumisaasta
2019
leheküljed
6 p. : ill
konverentsi nimetus, aeg
8th Mediterranean Conference on Embedded Computing - MECO 2019, June 10-14, 2019.
konverentsi toimumispaik
Budva, Montenegro
leitav
https://doi.org/10.1109/MECO.2019.8760283
märksõna
digitaaltehnika
integraallülitused
otsustusdiagrammid
võtmesõna
structurally synthesized BDDs
properties of SSBDDs
equivalent transformations of SSBDDs
ISSN
2637-9511
2377-5475
ISBN
978-1-7281-1739-3
märkused
Bibliogr.: 36 ref
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
inglise
Uurimisrühm
Töökindla arvutusriistvara keskus (TARK)
Usaldusväärsete arvutisüsteemide keskus