Rekommenderade teman
Rekommenderade teman
Menade du:
function function » function functional, functions functional, function dysfunction
program function » programme function, programs functional, program foundation
parallel range » parallel runge, parallel change, parallel age
function https » functions https, fiction https
range program » france program, rangka program, age program
function function » function functional, functions functional, function dysfunction
program function » programme function, programs functional, program foundation
parallel range » parallel runge, parallel change, parallel age
function https » functions https, fiction https
range program » france program, rangka program, age program
1
Publicerad 2010
Innehållsförteckning:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2006
Innehållsförteckning:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2010
Innehållsförteckning:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2005
Innehållsförteckning:
“... Distribution with Parallel File Systems -- Implementing Byte-Range Locks Using MPI One-Sided Communication...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2015
Innehållsförteckning:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2010
Innehållsförteckning:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2005
Innehållsförteckning:
“... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2014
Innehållsförteckning:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2015
Innehållsförteckning:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Hämta fulltext
Elektronisk
E-bok
10
Innehållsförteckning:
“... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2005
Innehållsförteckning:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2008
Innehållsförteckning:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2010
Innehållsförteckning:
“... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2005
Innehållsförteckning:
“... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2010
Innehållsförteckning:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2008
Innehållsförteckning:
“... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2005
Innehållsförteckning:
“... Gathering in Lines, Rings and Trees -- Jitter Regulation for Multiple Streams -- Efficient c-Oriented Range...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2010
Innehållsförteckning:
“... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2014
Innehållsförteckning:
“... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2015
Innehållsförteckning:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”Hämta fulltext
Elektronisk
E-bok