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 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Algorithms for Branchwidth -- Treewidth Lower Bounds with Brambles -- Minimal Interval Completions -- A 2...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ... in Distributed Environment.-Differential Evolution Applied to Large Scale Parametric Interval Linear Systems...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Functions in the CoStLy C++ Class Library -- Standardized Interval Arithmetic and Interval Arithmetic Used...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... Algebra Subprograms -- Function Interval Arithmetic -- Generating Optimized Sparse Matrix Vector Product...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
View full text
Electronic eBook