Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
problem https » problem hips, problem has, problem hip
program fast » programs fast, program first, program master
fast problem » first problem, past problems, waste problem
problem https » problem hips, problem has, problem hip
program fast » programs fast, program first, program master
fast problem » first problem, past problems, waste problem
1
Vydáno 2006
Obsah:
“... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”Získat plný text
Elektronický zdroj
E-kniha
2
Autor Kromann, Frank M., Kromann, Frank M., Stephens, Jon., Good, Nathan A., Babin, Lee.
Vydáno 2005
Obsah:
“... -- Performing Math Operations -- Working with Arrays -- Working with Dates and Times -- Working with Strings...”Vydáno 2005
Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2008
Obsah:
“... Noise Strategies -- The Max-Atom Problem and Its Relevance -- Session 2. Knowledge Representation 1...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2014
Obsah:
“...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2005
Obsah:
“... -- Systolic Routing in an Optical Butterfly -- Feasibility of the Circularly Connected Analog CNN Cell Array...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2010
Obsah:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2005
Obsah:
“... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2015
Obsah:
“... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2014
Obsah:
“...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2014
Obsah:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2007
Obsah:
“... Prediction -- A Fast and Accurate Heuristic for the Single Individual SNP Haplotyping Problem with Many Gaps...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2008
Obsah:
“... -- An Improved Approximation Algorithm for the Capacitated Multicast Tree Routing Problem -- Covering Arrays...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2010
Obsah:
“... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2010
Obsah:
“... Empty Rectangle and Square Problems in All Dimensions -- Connectivity Is Not a Limit for Kernelization...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2012
Obsah:
“... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2005
Obsah:
“... on the InfiniBand-Based Distributed Virtual Shared Memory System -- Fast and Scalable Startup of MPI Programs...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2010
Obsah:
“...: Open Problems in Theory and Practice -- Regret Minimization and Job Scheduling -- Lessons in Software...”Získat plný text
Elektronický zdroj
E-kniha
18
Obsah:
“... -- Program Correctness: Mechanics -- Program Correctness: Strategies -- Algorithmic Reasoning -- Quantified...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2006
Obsah:
“... -- Fast Iterative Arrays with Restricted Inter-cell Communication: Constructions and Decidability...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2007
Obsah:
“...Keynote Speech -- Programming Challenges for Petascale and Multicore Parallel Systems -- Towards...”Získat plný text
Elektronický zdroj
E-kniha