Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
targeting functionals » targeting functional, targeting function, testing functional
functionals function » function function, functions functional, function dysfunction
program targeting » program budgeting, program starting, protein targeting
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
targeting functionals » targeting functional, targeting function, testing functional
functionals function » function function, functions functional, function dysfunction
program targeting » program budgeting, program starting, protein targeting
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
1
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicat 2015
Taula de continguts:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Obtenir text complet
Electrònic
eBook
2
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicat 2014
Taula de continguts:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Obtenir text complet
Electrònic
eBook
3
Taula de continguts:
“....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
4
Taula de continguts:
“... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
5
per Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Publicat 2010
Taula de continguts:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Publicat 2010
Obtenir text complet
Electrònic
eBook
6
Matèries:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
7
Publicat 2014
Taula de continguts:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Obtenir text complet
Electrònic
eBook
8
Taula de continguts:
“... Neighborhood Functions. Convolution. Morphology. Feature Extraction. Automatic Target Recognition. Image...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
9
Publicat 2010
Taula de continguts:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”Obtenir text complet
Electrònic
eBook
10
Publicat 2011
Taula de continguts:
“... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”Obtenir text complet
Electrònic
eBook
11
Publicat 2015
Taula de continguts:
“... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...”Obtenir text complet
Electrònic
eBook
12
Publicat 2008
Taula de continguts:
“... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”Obtenir text complet
Electrònic
eBook
13
Publicat 2007
Taula de continguts:
“... Model by High-Resolution Central-Upwind Scheme -- User-Controllable GPGPU-Based Target-Driven Smoke...”Obtenir text complet
Electrònic
eBook
14
Matèries:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
15
Publicat 2008
Taula de continguts:
“...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”Obtenir text complet
Electrònic
eBook
16
Publicat 2008
Taula de continguts:
“... Approach to Animal Models of Sepsis -- Animal Models in Functional Magnetic Resonance Imaging -- Animal...”Obtenir text complet
Electrònic
eBook
17
Publicat 2005
Taula de continguts:
“... Interaction Prediction and Antisense RNA Target Search -- Consensus Folding of Unaligned RNA Sequences...”Obtenir text complet
Electrònic
eBook
18
Publicat 2007
Taula de continguts:
“... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”Obtenir text complet
Electrònic
eBook
19
Publicat 2007
Taula de continguts:
“... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...”Obtenir text complet
Electrònic
eBook
20
Taula de continguts:
“... NoCs -- Parallelizing Compiler for Single and Multicore Computing -- Power Optimization Techniques...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook