提案スペルによる検索:
interval functionality » ideal functionality, internal conditionality, potential functionality
functionality function » functionals function, functionaries function, functional functions
parallel programming » parallel processing
programming interval » programming internal, programming internals, programming interface
function https » functions https, fiction https
1
出版事項 2010
目次: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
全文の入手
電子媒体 eBook
2
出版事項 2010
目次: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
全文の入手
電子媒体 eBook
3
出版事項 2008
目次: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
全文の入手
電子媒体 eBook
4
出版事項 2014
目次: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
全文の入手
電子媒体 eBook
5
出版事項 2010
目次: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
全文の入手
電子媒体 eBook
6
出版事項 2006
目次: ... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...
全文の入手
電子媒体 eBook
7
出版事項 2010
目次: ... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...
全文の入手
電子媒体 eBook
8
出版事項 2008
目次: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
全文の入手
電子媒体 eBook
9
出版事項 2013
目次: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
全文の入手
電子媒体 eBook
10
出版事項 2005
目次: ... Algorithms for Branchwidth -- Treewidth Lower Bounds with Brambles -- Minimal Interval Completions -- A 2...
全文の入手
電子媒体 eBook
11
出版事項 2010
目次: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
全文の入手
電子媒体 eBook
12
出版事項 2012
目次: ... in Distributed Environment.-Differential Evolution Applied to Large Scale Parametric Interval Linear Systems...
全文の入手
電子媒体 eBook
13
出版事項 2010
目次: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
全文の入手
電子媒体 eBook
14
出版事項 2010
目次: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
全文の入手
電子媒体 eBook
15
出版事項 2005
目次: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
全文の入手
電子媒体 eBook
16
出版事項 2008
目次: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
全文の入手
電子媒体 eBook
17
出版事項 2010
目次: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
全文の入手
電子媒体 eBook
18
出版事項 2010
目次: ... Functions in the CoStLy C++ Class Library -- Standardized Interval Arithmetic and Interval Arithmetic Used...
全文の入手
電子媒体 eBook
19
出版事項 2014
目次: ... Algebra Subprograms -- Function Interval Arithmetic -- Generating Optimized Sparse Matrix Vector Product...
全文の入手
電子媒体 eBook
20
出版事項 2007
目次: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
全文の入手
電子媒体 eBook