1
Publicado em 2010
Sumário: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Sumário: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2010
Sumário: ...: Open Problems in Theory and Practice -- Regret Minimization and Job Scheduling -- Lessons in Software...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2015
Sumário: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Por Burgin, Mark., Burgin, Mark.
Publicado em 2005
Sumário: ...Recursive Algorithms -- Subrecursive Algorithms -- Superrecursive Algorithms: Problems...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2010
Sumário: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2005
Sumário: ... -- Evaluating Hierarchical Clustering of Search Results -- Counting Suffix Arrays and Strings -- Towards Real...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2013
Sumário: ... with Difference Mean Based Perturbation for Practical Engineering Optimization Problems -- Transmission Line...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Sumário: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Sumário: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Sumário: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2010
Sumário: ... -- Multiplication Algorithms for Monge Matrices -- Why Large Closest String Instances Are Easy to Solve in Practice...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2005
Sumário: ... Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2005
Sumário: ... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Sumário: ...Overview -- to Computer Systems -- to Operating Systems -- to Using a Computer System -- to Problem...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2013
Sumário: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Obter o texto integral
Recurso Electrónico livro electrónico