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