Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
functionals functions » functionals function, functional functions, functions functions
program functionals » programs functional, program functionality, problem functionals
parallel source » parallel resources, parallel search, parallel sparse
functions https » foundations https
source program » course program, resource programs, resources program
functionals functions » functionals function, functional functions, functions functions
program functionals » programs functional, program functionality, problem functionals
parallel source » parallel resources, parallel search, parallel sparse
functions https » foundations https
source program » course program, resource programs, resources program
1
Publicat 2011
Matèries:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Obtenir text complet
Electrònic
eBook
2
Publicat 2013
Taula de continguts:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Obtenir text complet
Electrònic
eBook
3
Publicat 2010
Taula de continguts:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Obtenir text complet
Electrònic
eBook
4
Publicat 2010
Taula de continguts:
“...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”Obtenir text complet
Electrònic
eBook
5
Publicat 2005
Taula de continguts:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Obtenir text complet
Electrònic
eBook
6
Publicat 2006
Taula de continguts:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Obtenir text complet
Electrònic
eBook
7
Publicat 2010
Taula de continguts:
“...Strategic Orientation in the Globalization of Software Firms -- Strategic Sourcing of R&D...”Obtenir text complet
Electrònic
eBook
8
Matèries:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
9
Matèries:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
10
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
11
Matèries:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
12
Publicat 2005
Taula de continguts:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Taula de continguts:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Obtenir text complet
Electrònic
eBook
15
Publicat 2015
Taula de continguts:
“... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”Obtenir text complet
Electrònic
eBook
16
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
17
Publicat 2010
Taula de continguts:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Obtenir text complet
Electrònic
eBook
18
Publicat 2010
Taula de continguts:
“...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”Obtenir text complet
Electrònic
eBook
19
Publicat 2010
Taula de continguts:
“... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”Obtenir text complet
Electrònic
eBook
20
Publicat 2010
Taula de continguts:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Obtenir text complet
Electrònic
eBook