1
Published 2010
Table of Contents: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Bottleneck for Graph Reduction Using an FPGA -- A Supercompiler for Core Haskell -- Checking Dependent Types...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Computing Environments -- An Efficient Circuit–Switched Broadcasting in Star Graph -- Parallel Domain...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... on the Cell BE Architecture -- Automatic Restructuring of Linked Data Structures -- Using the Meeting Graph...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... -- Using Hybrid CPU-GPU Platforms to Accelerate the Computation of the Matrix Sign Function -- Modelling...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
View full text
Electronic eBook
10
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... Systems on Spatiotemporal Cellular Automata -- Autonomous Robot Path Planning techniques using Cellular...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ...Invited Papers -- Using Genetic Algorithms to Evolve Behavior in Cellular Automata -- Quantum...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ...-Symmetric Graphs: Algorithms and Structure -- Inductive Type Schemas as Functors -- Unfolding Synthesis...
View full text
Electronic eBook
14
Table of Contents: ... Functions -- Graphs -- partitions and Paths....
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ...Graphs of Grammars – Derivations as Parallel Processes -- MTTool Software Tool and Low Complexity...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... of Complex Networks -- NovoGMET: De Novo Peptide Sequencing Using Graphs with Multiple Edge Types (GMET...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... -- Improving Approximate Graph Edit Distance Using Genetic Algorithms -- Approximate Graph Edit Distance Guided...
View full text
Electronic eBook