Paralelizace nástroje pro minimalizaci logických funkcí BOOM

1 (V této části práce budu užívat citace z předlohy od pana Vály

Platí, že nelze vytvořit takový algoritmus, který by vždy výpočet znatelně urychlil, neboť jeho efektivita je přímo závislá na datech, která dostává ke zpracování. Proto se tento vědní obor neustál...

Programován´ı v UNIXu

• synchronizace a komunikace procesů • sı́t’ová komunikace • vlákna, synchronizace vláken • ??? - bude definováno později, podle toho kolik zbyde času

Programování v Unixu

identifikovaný jednoznačným číslem (process ID, PID); jinými slovy „kód a data v pamětiÿ • vlákno (thread) . . . systémový objekt, který existuje uvnitř procesu a je charakterizován svým stavem. Vš...

Reprezentace Booleovských funkcí

Příkladem reprezentace je tabulka funkce, tj. výčet hodnot f (x) pro všechny prvky x ∈ {0, 1}n . Tato reprezentace obsahuje vždy 2n hodnot, a proto je pro větší n velmi neúsporná. Jiný příklad repr...

Logické systémy a jejich návrh

V asynchronním režimu vystupuje diskrétní čas jako posloupnost bodů na časové ose, v nichž se mění kterákoliv vstupní, výstupní nebo vnitřní proměnná. Časové okamžiky se nazývají takty. Asynchronní...

Programování v Unixu

šachu Garriho Kasparova. Jinými slovy – každý systém má svoje úspěchy. • Tru64 UNIX vychází z UNIXu firmy DEC (Ultrix, Digital Unix). • DragonFly BSD je nedávná (2003) odnož FreeBSD 4.x řady. • Ope...

poznámkové slajdy - Programování v UNIXu na Matematicko

multiprocessing s ochranou procesů a stránkovánı́m. Měl signály, roury, hierarchický systém souborů s mount pointy, souborová práva (User/group/other r/w/x), hard linky, zařı́zenı́ přı́...

04. Mutexy, monitory

časem ho opět naplánuje použití – např. vzájemné vyloučení mezi vlákny stejného procesu lze implementovat jako knihovna prog. jazyka

zos-prednasky-komplet 6.49MB 21.01.2014 00:26:05