Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
properties functionals » properties functional, properties functions, properties functionality
sequential properties » residential properties, sequential processes, sequence properties
functionals function » function function, functions functional, function dysfunction
parallel sequential » parallel sequencing, parallel sequence, parallel exponential
function https » functions https, fiction https
properties functionals » properties functional, properties functions, properties functionality
sequential properties » residential properties, sequential processes, sequence properties
functionals function » function function, functions functional, function dysfunction
parallel sequential » parallel sequencing, parallel sequence, parallel exponential
function https » functions https, fiction https
1
Argitaratua 2007
Aurkibidea:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2008
Aurkibidea:
“... Simulations -- Sequential and Parallel Implementation of Networks -- Applications -- Parametric Studies...”Testu osoa
Baliabide elektronikoa
eBook
3
Aurkibidea:
“... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2006
Aurkibidea:
“... with Imperfect Information -- Relating Two Standard Notions of Secrecy -- Jump from Parallel to Sequential Proofs...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2008
Aurkibidea:
“... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2005
Aurkibidea:
“... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2006
Aurkibidea:
“... Knowledge and Query Answering in Locally Complete Databases -- Sequential, Parallel, and Quantified Updates...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2015
Aurkibidea:
“... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2008
Aurkibidea:
“...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2005
Aurkibidea:
“... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2012
Aurkibidea:
“... Algorithm for Efficient Solution of 2D and 3D Shape Matching Problems -- Local Search in Parallel Linear...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2015
Aurkibidea:
“...Preface -- Operation Modes in Lower-Mobility Parallel Manipulators, by Josef Schadlbauer, Latifah...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2014
Aurkibidea:
“... on MapReduce -- Efficient Mining of Density-Aware Distinguishing Sequential Patterns with Gap Constraints...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2014
Aurkibidea:
“... on MapReduce -- Efficient Mining of Density-Aware Distinguishing Sequential Patterns with Gap Constraints...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2013
Aurkibidea:
“... Power Efficient AODV in Mobile Adhoc Network -- Voice Transformation using Radial Basis Function -- IPTC...”Testu osoa
Baliabide elektronikoa
eBook