1
Publicerad 2011
Innehållsförteckning: ...: Parallel Paradigms and Run-time Management Techniques for Many-Core Architectures -- 6. Adaptive Task...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2012
Innehållsförteckning: ... on Reduced-Round MISTY1.- Efficient Parallel Evaluation of Multivariate Quadratic Polynomials on GPUs...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2014
Innehållsförteckning: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2015
Innehållsförteckning: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2007
Innehållsförteckning: ... of Experts for View-Independent Face Recognition -- Fusion of Support Vector Classifiers for Parallel Gabor...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2013
Innehållsförteckning: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2010
Innehållsförteckning: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2013
Innehållsförteckning: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2013
Innehållsförteckning: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2006
Innehållsförteckning: ...-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer’s Perspective -- Autonomic...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2012
Innehållsförteckning: ... Formal Semantics for Weighted Ontology -- Personalised Graph-Based Selection of Web APIs -- Instance...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2012
Innehållsförteckning: ... Formal Semantics for Weighted Ontology -- Personalised Graph-Based Selection of Web APIs -- Instance...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2014
Innehållsförteckning: ... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2008
Innehållsförteckning: ... Particle Swarm Optimization -- Automatic Selection for the Beta Basis Function Neural Networks -- Evolvable...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2015
Innehållsförteckning: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2007
Innehållsförteckning: ... -- Multiple Error Detection in Substitution Blocks for Block Ciphers -- Parallelization Method of Encryption...
Hämta fulltext
Elektronisk E-bok