Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
projection function » protection function, production function, protection functional
function function » function functional, functions functional, function dysfunction
code projection » code protection, case projection, code production
function https » functions https, fiction https
parallel code » parallel model, parallel 3d
projection function » protection function, production function, protection functional
function function » function functional, functions functional, function dysfunction
code projection » code protection, case projection, code production
function https » functions https, fiction https
parallel code » parallel model, parallel 3d
1
Publicado 2013
Table of Contents:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2006
Table of Contents:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Ligazón do recurso
Electrónico
eBook
3
Table of Contents:
“... -- Hypersurfaces of a sphere with parallel shape operator -- Codimension reduction of a submanifold -- CR...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
4
Publicado 2010
Table of Contents:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2010
Table of Contents:
“...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2010
Table of Contents:
“... of Industrial Simulation Codes from HPC Environments to New Hardware Technologies -- Application of Parallel...”Ligazón do recurso
Electrónico
eBook
7
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
8
Publicado 2013
Table of Contents:
“... and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2012
Subjects:
“...Project Management. https://scigraph.springernature.com/ontologies/product-market-codes/515020...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2008
Table of Contents:
“... on the Arithmetic Correlation of Sequences -- A Class of Nonbinary Codes and Sequence Families -- Results...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2008
Table of Contents:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2007
Table of Contents:
“... -- Multiple Error Detection in Substitution Blocks for Block Ciphers -- Parallelization Method of Encryption...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2010
Table of Contents:
“...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2010
Table of Contents:
“...Graphs of Grammars – Derivations as Parallel Processes -- MTTool Software Tool and Low Complexity...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2006
Table of Contents:
“... of the Gfan Software -- Parallel Homotopy Algorithms to Solve Polynomial Systems -- DEpthLAUNAY -- iB4e: A...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2008
Table of Contents:
“... Lectures -- Propositional Projection Temporal Logic, B chi Automata and ?-Regular Expressions -- Genome...”Ligazón do recurso
Electrónico
eBook
17
Table of Contents:
“... Metric-Driven Processes -- Roles in a Verification Project -- Overview of a Verification Project...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
18
Publicado 2005
Table of Contents:
“... Heat Transfer in Parallel Computer Architectures -- SkvG: Cache-Optimal Parallel Solution of PDEs...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2010
Table of Contents:
“..., Modelling and Implementation for Highly Parallel Applications -- Computational Steering of Complex Flow...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2013
Table of Contents:
“... Positive Tension for Wire-Actuated Parallel Manipulators, by Leila Notash -- Part 4 Legged Locomotion -- 21...”Ligazón do recurso
Electrónico
eBook