Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel programs » parallel programming
programs affinity » program affinity, programs affine, programs finite
affinity function » acidity function, affinity section, affinity selection
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
parallel programs » parallel programming
programs affinity » program affinity, programs affine, programs finite
affinity function » acidity function, affinity section, affinity selection
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”View full text
Electronic
eBook
5
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... -- Predicting Protein-Peptide Binding Affinity by Learning Peptide-Peptide Distance Functions -- Keynote...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Machine Learning of Grammars and Compilers of Programming Languages -- Improving Classification...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“...-homologous End-joining-deficient Strains for Functional Gene Analyses in Filamentous Fungi -- Atomic Force...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... to Algebraic Attacks on Stream Ciphers -- On the Non-linearity and Sparsity of Boolean Functions Related...”View full text
Electronic
eBook