בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
separable functionals » separable functions, separated functionals, measurable functionals
functionals function » function function, functions functional, function dysfunction
programs separable » problems separable, programs erasable, probes separable
parallel programs » parallel programming
function https » functions https, fiction https
separable functionals » separable functions, separated functionals, measurable functionals
functionals function » function function, functions functional, function dysfunction
programs separable » problems separable, programs erasable, probes separable
parallel programs » parallel programming
function https » functions https, fiction https
1
יצא לאור 2005
תוכן הענינים:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2015
תוכן הענינים:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2008
תוכן הענינים:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
יצא לאור 2015
תוכן הענינים:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2005
תוכן הענינים:
“... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2014
תוכן הענינים:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2005
תוכן הענינים:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2013
תוכן הענינים:
“... -- Constraint-Based Program Reasoning with Heaps and Separation -- Model Combinators for Hybrid Optimization...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2005
תוכן הענינים:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2006
תוכן הענינים:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2010
תוכן הענינים:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2010
תוכן הענינים:
“... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2010
תוכן הענינים:
“... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2005
תוכן הענינים:
“... -- Linear-Time Enumeration of Isolated Cliques -- Finding Shortest Non-separating and Non-contractible...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2008
תוכן הענינים:
“... Visually Interpretable Models with GUIDE -- Structural Adaptive Smoothing by Propagation–Separation Methods...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2014
תוכן הענינים:
“... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2013
תוכן הענינים:
“... Papers -- Propositional Proof Complexity I -- Exponential Separations in a Hierarchy of Clause Learning...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... -- LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation -- FGb: A Library...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2007
תוכן הענינים:
“... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2014
תוכן הענינים:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני