Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
programming function » programming functional, programming functionals, programme function
source programming » resources programming, secure programming, core programming
function function » function functional, functions functional, function dysfunction
parallel source » parallel resources, parallel search, parallel sparse
function https » functions https, fiction https
programming function » programming functional, programming functionals, programme function
source programming » resources programming, secure programming, core programming
function function » function functional, functions functional, function dysfunction
parallel source » parallel resources, parallel search, parallel sparse
function https » functions https, fiction https
1
Pubblicazione 2011
Soggetti:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Testo
Elettronico
eBook
2
Pubblicazione 2013
Sommario:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Testo
Elettronico
eBook
3
Pubblicazione 2010
Sommario:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Testo
Elettronico
eBook
4
Pubblicazione 2010
Sommario:
“...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”Testo
Elettronico
eBook
5
Pubblicazione 2005
Sommario:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Testo
Elettronico
eBook
6
Pubblicazione 2006
Sommario:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Testo
Elettronico
eBook
7
Pubblicazione 2010
Sommario:
“...Strategic Orientation in the Globalization of Software Firms -- Strategic Sourcing of R&D...”Testo
Elettronico
eBook
8
Soggetti:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Testo
Testo
Elettronico
eBook
9
Soggetti:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Testo
Testo
Elettronico
eBook
10
Pubblicazione 2008
Sommario:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Testo
Elettronico
eBook
11
di Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Pubblicazione 2010
Sommario:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Pubblicazione 2010
Testo
Elettronico
eBook
12
Pubblicazione 2010
Sommario:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Testo
Elettronico
eBook
13
Soggetti:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testo
Testo
Elettronico
eBook
14
Pubblicazione 2005
Sommario:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Testo
Elettronico
eBook
15
Pubblicazione 2010
Sommario:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Testo
Elettronico
eBook
16
Pubblicazione 2015
Sommario:
“... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”Testo
Elettronico
eBook
17
Pubblicazione 2010
Sommario:
“...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”Testo
Elettronico
eBook
18
Pubblicazione 2010
Sommario:
“... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”Testo
Elettronico
eBook
19
Pubblicazione 2014
Sommario:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Testo
Elettronico
eBook
20
Pubblicazione 2010
Sommario:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Testo
Elettronico
eBook
- 1
- 2
- 3
- Successivo »
- [3]