提案スペルによる検索:
parallel function » parallel functional, parallel auction, parallel union
functioning using » function using, functions using, functioning among
work functioning » well functioning, work function, non functioning
function work » functions work, function fork, functional work
using https » using http, nursing https, aging https
1
出版事項 2010
目次: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
全文の入手
電子媒体 eBook
2
出版事項 2013
目次: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
全文の入手
電子媒体 eBook
3
著者: Wegert, Elias., Wegert, Elias.
出版事項 2012
目次: ...Preface -- 1. Getting Acquainted -- 2. Complex Functions -- 3. Analytic Functions -- 4. Complex...
全文の入手
電子媒体 eBook
4
出版事項 2012
目次: ... -- Describing and Optimising Reversible Logic Using a Functional Language -- Hardware Design with Generalized...
全文の入手
電子媒体 eBook
5
出版事項 2010
目次: ... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...
全文の入手
電子媒体 eBook
6
出版事項 2006
目次: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
全文の入手
電子媒体 eBook
7
出版事項 2005
目次: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
全文の入手
電子媒体 eBook
8
著者: Freeman, Adam., Freeman, Adam.
出版事項 2010
目次: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
全文の入手
電子媒体 eBook
9
出版事項 2005
目次: ... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...
全文の入手
電子媒体 eBook
10
出版事項 2008
目次: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
全文の入手
電子媒体 eBook
11
12
出版事項 2013
目次: ...,  Andrea Bonito, Joe Pasciak -- Parallel Unsmoothed Aggregation Algebraic Multigrid Algorithms on GPUs...
全文の入手
電子媒体 eBook
13
主題: ...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...
全文の入手
電子媒体 eBook
14
出版事項 2007
目次: ... in Membrane Systems -- A Parallel DNA Algorithm Using a Microfluidic Device to Build Scheduling Grids -- P...
全文の入手
電子媒体 eBook
15
出版事項 2005
目次: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
全文の入手
電子媒体 eBook
16
出版事項 2005
目次: ... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...
全文の入手
電子媒体 eBook
17
出版事項 2007
目次: ... -- Using a Runtime Measurement Device with Measurement-Based WCET Analysis -- Implementing Real-Time...
全文の入手
電子媒体 eBook
18
出版事項 2014
目次: ... with Enhanced Functionality -- Automated Low-Fidelity Model Setup for Surrogate-Based Aerodynamic Optimization...
全文の入手
電子媒体 eBook
19
目次: ...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...
全文の入手
電子媒体 eBook
20
出版事項 2008
目次: ... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...
全文の入手
電子媒体 eBook