1
Vydáno 2015
Obsah: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2013
Obsah: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2013
Obsah: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2013
Obsah: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2010
Obsah: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
Získat plný text
Elektronický zdroj E-kniha
6
Vydáno 2011
Obsah: ... on a Delay-Aware Model -- 3. Trust Management Through Hardware Means: Design Concerns and Optimizations...
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2013
Obsah: ...-Means Method for Determining Motor’s Quality Types Based on Current Waveforms -- License Plate...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání