Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
functionality functions » functional functions, functionals function, functionaries function
binary functionality » binary functional, bags functionality, signature functionality
parallel program » parallel programs, parallel problem, parallel programming
functions https » foundations https
program binary » program bina, program bicara, program binaries
1
Obálka
Vydáno 2010
Obsah: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
2
Obálka
Vydáno 2005
Obsah: “... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
3
Obálka
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
Přidat do oblíbených
Uloženo v:
4
Obálka
Vydáno 2014
Obsah: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
5
Obálka
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
Přidat do oblíbených
Uloženo v:
6
Obálka
Vydáno 2006
Obsah: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
7
Obálka
Vydáno 2005
Obsah: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
8
Obálka
Vydáno 2015
Obsah: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
9
Obálka
Vydáno 2007
Obsah: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
10
Obálka
Vydáno 2008
Obsah: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
11
Obálka
Vydáno 2008
Obsah: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
12
Obálka
Vydáno 2010
Obsah: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
13
Obálka
Vydáno 2010
Obsah: “... -- Compact Rich-Functional Binary Relation Representations -- Radix Cross-Sections for Length Morphisms...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
14
Obálka
Vydáno 2005
Obsah: “... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
15
Obálka
Vydáno 2005
Obsah: “... Loopless Gray Code for Minimal Signed-Binary Representations -- Efficient Approximation Schemes...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
16
Obálka
Vydáno 2014
Obsah: “...Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults -- On Partial Vertex Cover...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
17
Obálka
Vydáno 2014
Obsah: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
18
Obálka
Vydáno 2010
Obsah: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
19
Obálka
Vydáno 2007
Obsah: “... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
20
Obálka
Vydáno 2014
Obsah: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat emailem — Uložit hledání