1
Published 2010
Table of Contents: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
View full text
Electronic eBook
2
Subjects: ...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
3
Table of Contents: ... Problems -- The Coupled Differential System -- Structure Theorems -- Parallel Integration....
View full text
Electronic eBook
4
Published 2005
Table of Contents: ...-Parallel Algorithms for 1-Dimensional Fast Fourier Transform -- Towards Solving NP-Complete Problems...
View full text
Electronic eBook
5
Table of Contents: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
View full text
Electronic eBook
6
Table of Contents: ...-Posedness of Cauchy Problems -- 1 The Laplace Integral -- 2 The Laplace Transform -- 3 Cauchy Problems -- II...
View full text
Electronic eBook
7
Published 2011
Table of Contents: ... Algorithms -- 4 Parallel Sorting – The Need for Speed -- 5 Topological Sorting – How Should I Begin...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Version Space Algorithm for Acquiring Constraint Satisfaction Problems -- Estimation of Mixture Models...
View full text
Electronic eBook
9
by Kozen, Dexter C., Kozen, Dexter C.
Published 2006
Table of Contents: ... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... Monitoring and Synthesis -- Newton's Forward Difference Equation for Functions from Words to Words -- Degrees...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Transformations to Improve and Extend Convergence -- Differential Resultant, Computer Algebra and Completely...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... on the Joint Linear Complexity Profile of Multisequences -- Period of Streamcipher Edon80 -- Boolean Function...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Theory in Coq -- Completeness and Decidability Results for CTL in Coq -- Hypermap Specification...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... on Constrained Minimum Enclosing Circle Problem -- Searching for an Axis-Parallel Shoreline -- Bounded Length, 2...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ... Functions on Cocktail-Party Graphs and Complete Graphs -- Tree Path Labeling of Hypergraphs A Generalization...
View full text
Electronic eBook