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