1
Publicado 2010
Tabla de Contenidos: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Enlace del recurso
Electrónico eBook
2
Publicado 2010
Tabla de Contenidos: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Enlace del recurso
Electrónico eBook
3
Publicado 2005
Tabla de Contenidos: ... Processes for Real Functions and Ill-posed Toeplitz Problems -- Minimal State-space Realization for a Class...
Enlace del recurso
Electrónico eBook
4
Publicado 2007
Tabla de Contenidos: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Enlace del recurso
Electrónico eBook
5
Publicado 2008
Tabla de Contenidos: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Enlace del recurso
Electrónico eBook
6
Publicado 2013
Tabla de Contenidos: ... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...
Enlace del recurso
Electrónico eBook
7
Publicado 2006
Tabla de Contenidos: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
Enlace del recurso
Electrónico eBook
8
Tabla de Contenidos: ... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...
Enlace del recurso
Electrónico eBook
9
Publicado 2012
Tabla de Contenidos: ... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...
Enlace del recurso
Electrónico eBook
10
Publicado 2006
Tabla de Contenidos: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Enlace del recurso
Electrónico eBook
11
Publicado 2007
Tabla de Contenidos: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
Enlace del recurso
Electrónico eBook
12
Publicado 2006
Tabla de Contenidos: ... to Algebraic Attacks on Stream Ciphers -- On the Non-linearity and Sparsity of Boolean Functions Related...
Enlace del recurso
Electrónico eBook
13
Publicado 2015
Tabla de Contenidos: ... for Generating RWG Function -- Internal AC Fault of Converter Station Based on Modular Multilevel Converter High...
Enlace del recurso
Electrónico eBook
14
Publicado 2014
Tabla de Contenidos: ... Parallel Information Extraction Based on Hadoop -- A Novel Class of Periodic Complementary Sequence Sets...
Enlace del recurso
Electrónico eBook