Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
parallel target » parallel large, parallel tree, parallel agent
target program » targets program, tvet program, targets progress
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
parallel target » parallel large, parallel tree, parallel agent
target program » targets program, tvet program, targets progress
function https » functions https, fiction https
1
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”View full text
Electronic
eBook
2
Table of Contents:
“....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
View full text
View full text
Electronic
eBook
3
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
4
Table of Contents:
“... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....”
View full text
View full text
Electronic
eBook
5
by Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Published 2010
Table of Contents:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Published 2010
View full text
Electronic
eBook
6
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
8
Table of Contents:
“... Neighborhood Functions. Convolution. Morphology. Feature Extraction. Automatic Target Recognition. Image...”
View full text
View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”View full text
Electronic
eBook
10
Published 2011
Table of Contents:
“... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Model by High-Resolution Central-Upwind Scheme -- User-Controllable GPGPU-Based Target-Driven Smoke...”View full text
Electronic
eBook
14
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text
View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Interaction Prediction and Antisense RNA Target Search -- Consensus Folding of Unaligned RNA Sequences...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Approach to Animal Models of Sepsis -- Animal Models in Functional Magnetic Resonance Imaging -- Animal...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”View full text
Electronic
eBook
19
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
20
Published 2005
Table of Contents:
“... in the intact organism -- Disease phenotyping: structural and functional readouts -- Evaluation of drug...”View full text
Electronic
eBook