verze2 - BruXyho home page

Predicate Abstraction of Java Programs with Collections

List schedule = new LinkedList(); Iterator actIt = active.iterator(); while (actIt.hasNext()) { int actID = actIt.next(); ThreadInfo actTh = id2thread.get(actID); for (int i = 0; ...

Odřezávací technika

měděné, mosazné, hliníkové a tenkostěnné ocelové trubky zhotovení s malým pracovním poloměrem (45 mm příp. 1.3 / 4”) umožnuje práci na obtížně přístupných místech n Snadná regulace tlaku díky ...

sisal

• Správa systému souborů (alokace, uvolňování, ochrana, udržování konzistence,...) • Přidělování paměti, ochrana paměti, odkládání dočasně nepoužívané paměti (swapping resp. paging) • Plánování pro...

1 na stránku (česky)

• Správa systému souborů (organizace disku, vytváření a mazání souborů, práva, udržování konzistence,...) • Správa paměti (přidělování, uvolňování, ochrana, odkládání dočasně nepoužívané paměti - s...

Univerzita Pardubice Fakulta ekonomicko

Diplomová práce je zaměřena na modelování dat charakterizujících virtuální server Portal a databázový server Oracle Univerzity Pardubice. Cílem práce je analyzovat data virtuálního serveru, navrhno...

Slovníku neologizmů 2

Nové scripty ulehčující administrátorskou činnost.

vytvoří zde tlačítka vedle psacího řádku a odstraní zatrhávací políčko a boxík se seznamem uživatelů pro šept (kdo to používá, dá se povolit). Jde o jediný script, vyjma scriptů vyžadující přímý vs...

ict sternberk - Střední škola logistiky a chemie

Zjisti na internetu, jaké parametry (počet jader, frekvence, vyrovnávací paměť...) Co by byl mozek bez paměti. Proto další velmi důležitou (a výkon počítačové sestavy ovlivňující) součástí je oper...

Google Knowledge Graph - DSpace