1
Published 2007
Table of Contents: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... at Runtime with QEA -- Parallel Explicit Model Checking for Generalized Bchi Automata -- Limit Deterministic...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... of Parallelizing Large Neighbourhood Search for Rich Vehicle Routing Problems -- Optimized Ensembles for Clustering...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... of generalized Ornstein-Uhlenbeck processes: the Gaussian case -- An approach to controlling the runtime...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Numerical Methods for Chemical Problems related to MOVPE -- RexSim: Monte Carlo Simulations of Radiative...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... Binary Translation System -- Unbiased Branches: An Open Problem -- An Online Profile Guided Optimization...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ....- Parallelizing the Improved Algorithm for Frequent Patterns Mining Problem.- Dimensionality Reduction in Data...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Exploration Problem on Cycles -- Straightening Drawings of Clustered Hierarchical Graphs -- Improved Upper...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model...
View full text
Electronic eBook