All Notes
211 notes
- (a,b) tree
- 2PC
- 3PC
- ABA problém
- B-stromy
- BB(alpha) tree (weight balanced tree)
- BFT (byzantine fault tolerance)
- CAP theorem
- CAS
- CRDT (conflict-free replicated data types)
- Chandy-Lamport
- Chomského hierarchie
- EIGRP
- EXTI
- GPIO
- IO model
- LCP array
- LLSC
- LTL (linear temporal logic)
- Lamportův algoritmus
- MAC address
- Maekawa's algorithm
- NVIC
- OntoUML
- OntoUML rigidity
- PBFT (practical byzantine fault tolerance)
- PWM
- QEMU
- RAFT
- RPC
- Rabin-Karp algoritmus
- TOCTTOU
- UFO
- UML
- Ullman's triangle
- Wait-For-Graph (WFG)
- Watchdog
- abstract syntax tree
- addressing modes
- algebraic data types
- amdahl law
- amortized analysis
- amortized complexity
- amortizovanou složitost
- amortizovaná analýza (a,2a-stromů)
- bankéřova metoda (accounting method)
- bitcoin
- blockchain
- bloom filter
- bounded model checking
- btor2
- byzantine failure
- c++ parameter pack
- c++ template meta-programming
- c++ template specialization
- c-univerzálnost
- cache-aware model
- client-server
- conceptual modelling
- data alignment
- deadlock v distribuovaném systému
- detekce globálního stavu
- detekce selhání (failure detection)
- detekce terminace v distribuovaném systému
- directory
- directory tree
- distribuovaná sdílená paměť
- distribuované algoritmy detekce
- distribuované stránkování
- distributed system
- doručovací protokoly (delivery protocols)
- dynamic array
- edge-chasing
- endianess
- epidemické protokoly
- file
- file descriptor
- file system
- file system interface
- first-order logic
- formální jazyk
- fsubset_performance_subset10.png
- ghosts
- group membership
- hashovací funkce
- hoare logic
- idempotence
- idempotence v RPC
- inode
- internet protocol
- interrupt
- isa
- k-cestný mergesort
- k-d trees
- k-nezávislost
- kauzální závislost
- komunikace v distribuovaných systémech
- komunikační model
- konsenzus v distribuovaných systémech
- konzistence distribuovaného systému
- koordinace a synchronizace v distribuovaném systému
- leader-based consensus algorithm
- leader-based koordinace
- left reset turing machine
- lemma o modulení
- linear probing
- lineární kongruence
- lisp machine
- load balancer
- load balancing
- load balancing v distribuovaných systémech
- lock-free stack
- lock-free struktura
- logical contracts
- logický čas
- machine instruction
- marshalling
- masivně distribuované systémy
- matrix_transpose()
- mechanismy koordinace v distribuovaných systémech
- middleware
- mmap
- modal logic
- model checking
- modely konzistence distribuovaného systému
- modely časování (timing models)
- mutex
- network interface card
- ontology
- pagemap
- paralelizace (a,b) stromu
- parciální funkce
- paxos
- peer-to-peer (P2P)
- permission-based koordinace
- physical clock sync
- plně náhodná hashovací funkce
- polymorphism
- potential method
- problém byzantských generálů
- problém dvou armád
- proof of stake (PoS)
- proof of work (PoW)
- prototype-based paradigm
- pseudofile
- quorum-based koordinace
- race condition
- range tree
- replikace
- rodina hashovacích funkcí
- rodina lineárních hashovacích funkcí
- rodina polynomiálních hashovacích funkcí
- rodina rolling hash
- rozhodnutelnost
- rozhodovací problémy
- scalar product hash family
- semantic interoperability
- semantics
- skupinová komunikace (broadcast)
- slew rate
- složená rodina rolling hash
- smt
- software verification
- splay
- splay operation
- splay tree
- splay tree empiric experiment
- spolehlivost (delivery semantics)
- spolehlivost distribuovaného systému
- správa prostředků a procesů v distribuovaném systému
- state machine replication (SMR)
- stavovost distribuovaného systému
- stm-lib
- strongest postcondition
- suffix array
- suffix tree
- switch
- symbolic execution
- synchronizační primitiva
- system specification
- tagged architecture
- term
- timer (hardware)
- tmux
- token-based koordinace
- totální funkce
- trans algorithm
- transakce v distribuovaných systémech
- transpozice čtvercové matice
- turingův stroj
- type class pattern
- univerzální turingův stroj
- uspořádání (komunikace v distribuovaných systémech)
- verification condition
- verifying immutable data structures
- verifying mutable data structures
- virtual memory
- virtualizace
- virtuální synchronie
- volba koordinátora (leader election)
- vysvětlení access lemma pro splay trees
- vyčíslitelnost
- vzdálené spouštění procesů a migrace
- vztah konsenzu a detekce globálního stavu
- vztah mezi komunikačními modely a konzistencí v distribuovaných systémech
- vztah spolehlivosti a stavu distribuovaného systému
- vzájemné vyloučení v distribuovaných systémech
- výpočetní model
- věta o kompetetivnosti LRU
- weakest precondition
- zámky vs lock-free struktury