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í:
functionals foundations » function foundation, functionals function, functional functions
problems functionals » problem functionals, problems functions, problem functional
foundations https » equations https
parallel program » parallel programs, parallel problem, parallel programming
program problems » programs problems, program problem, programs problem
functionals foundations » function foundation, functionals function, functional functions
problems functionals » problem functionals, problems functions, problem functional
foundations https » equations https
parallel program » parallel programs, parallel problem, parallel programming
program problems » programs problems, program problem, programs problem
1
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009...
Vydáno 2010
Obsah:
“... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2005
Obsah:
“... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2008
Obsah:
“... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2005
Obsah:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2014
Obsah:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2008
Obsah:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Získat plný text
Elektronický zdroj
E-kniha
7
Autor Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Vydáno 2007
Obsah:
“... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”Vydáno 2007
Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2008
Obsah:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Získat plný text
Elektronický zdroj
E-kniha
9
Obsah:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
10
Obsah:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
11
Obsah:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
12
Obsah:
“... Programming -- Using LINQ -- Windows Presentation Foundation....”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2006
Obsah:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2006
Obsah:
“... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2015
Obsah:
“... Corpora -- A Consistent Foundation for Isabelle/HOL -- Foundational Property-Based Testing -- A First...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2014
Obsah:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2013
Obsah:
“...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2015
Obsah:
“... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2012
Obsah:
“...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2006
Obsah:
“... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”Získat plný text
Elektronický zdroj
E-kniha