1
Published 2015
Table of Contents: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... to their Shapes? -- Particle Dynamics in Kicked Quantum Networks -- Breathing Star Graph -- Time-Independent...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... and Conquer Method for k-Set Polygons -- Coloring Axis-Parallel Rectangles -- Domination in Cubic Graphs...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Computing Environments -- An Efficient Circuit–Switched Broadcasting in Star Graph -- Parallel Domain...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
View full text
Electronic eBook
12
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
View full text
Electronic eBook
14
Published 2015
Subjects: ...Applications of Graph Theory and Complex Networks. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...
View full text
Electronic eBook
16
Table of Contents: ... Functions -- Graphs -- partitions and Paths....
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Searching Amidst Uncertainty -- Logic Functions of the Genomic Cis-regulatory Code -- Structural DNA...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ...-Symmetric Graphs: Algorithms and Structure -- Inductive Type Schemas as Functors -- Unfolding Synthesis...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ...Graphs of Grammars – Derivations as Parallel Processes -- MTTool Software Tool and Low Complexity...
View full text
Electronic eBook