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 2005
Table of Contents: ... -- Algorithms -- Some Improvements to a Parallel Decomposition Technique for Training Support Vector Machines...
View full text
Electronic eBook
3
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Table of Contents: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... and Store Media Files -- A Tool Supporting C code Parallelization -- Extending OpenMP for Agent Based DSM...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ...: A Mathematical Functions Code Generator -- From Calculus to Algorithms without Errors -- Dense...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... -- Multiple Error Detection in Substitution Blocks for Block Ciphers -- Parallelization Method of Encryption...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Approach to Animal Models of Sepsis -- Animal Models in Functional Magnetic Resonance Imaging -- Animal...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Algorithms -- An Evolutionary Agent System for Mathematical Programming -- Agent-Based Coding GA...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...
View full text
Electronic eBook