Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programs function » programs functional, programme function, programs fiction
function function » function functional, functions functional, function dysfunction
parallel library » parallel libraries, parallel linear, parallel array
library programs » library program, binary programs, library problems
function https » functions https, fiction https
programs function » programs functional, programme function, programs fiction
function function » function functional, functions functional, function dysfunction
parallel library » parallel libraries, parallel linear, parallel array
library programs » library program, binary programs, library problems
function https » functions https, fiction https
1
Publicat 2010
Taula de continguts:
“... and Space Reuse -- Optimization of Triangular Matrix Functions in BLAS Library on Loongson2F -- Exposing...”Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Obtenir text complet
Electrònic
eBook
4
Publicat 2005
Taula de continguts:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Obtenir text complet
Electrònic
eBook
5
Publicat 2014
Taula de continguts:
“... coli by Prolonged Overlap Extension PCR -- Combinatorial Assembly of Clone Libraries Using Site...”Obtenir text complet
Electrònic
eBook
6
Publicat 2013
Taula de continguts:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Obtenir text complet
Electrònic
eBook
7
Matèries:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Obtenir text complet
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
Publicat 2013
Taula de continguts:
“... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”Obtenir text complet
Electrònic
eBook
10
Matèries:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
11
Taula de continguts:
“... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
12
Publicat 2008
Taula de continguts:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Obtenir text complet
Electrònic
eBook
13
Taula de continguts:
“...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Taula de continguts:
“... Functions -- Distributed Data-Mining in the LISp-Miner System Using Techila Grid -- Non-negative Matrix...”Obtenir text complet
Electrònic
eBook
15
Taula de continguts:
“... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Obtenir text complet
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
Taula de continguts:
“... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
18
Publicat 2005
Taula de continguts:
“... -- Preemptive Scheduling of Independent Jobs on Identical Parallel Machines Subject to Migration Delays...”Obtenir text complet
Electrònic
eBook
19
Publicat 2015
Taula de continguts:
“... Terms and Parallel Substitutions -- ModuRes: a Coq Library for Modular Reasoning about Concurrent...”Obtenir text complet
Electrònic
eBook
20
Publicat 2014
Taula de continguts:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”Obtenir text complet
Electrònic
eBook