1
Published 2010
Table of Contents: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... of Multi-agent Systems by Using EUSMs -- Strong Safe Realizability of Message Sequence Chart Specifications...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... for Volume Data Sets by Using Critical Point Graph -- Hybrid Parallelization and Flat Parallelization in HPF...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
View full text
Electronic eBook
7
Table of Contents: ... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... for Generating RWG Function -- Internal AC Fault of Converter Station Based on Modular Multilevel Converter High...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... to Algebraic Attacks on Stream Ciphers -- On the Non-linearity and Sparsity of Boolean Functions Related...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... Kernel Functions Used in Binary Classification -- The Auxiliary Control System from Railway Operation...
View full text
Electronic eBook