1
منشور في 2010
جدول المحتويات: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2006
جدول المحتويات: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2010
جدول المحتويات: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2005
جدول المحتويات: ... Distribution with Parallel File Systems -- Implementing Byte-Range Locks Using MPI One-Sided Communication...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2015
جدول المحتويات: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2010
جدول المحتويات: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2005
جدول المحتويات: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2014
جدول المحتويات: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2015
جدول المحتويات: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
بواسطة Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
منشور في 2012
جدول المحتويات: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2005
جدول المحتويات: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2008
جدول المحتويات: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2010
جدول المحتويات: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2005
جدول المحتويات: ... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2010
جدول المحتويات: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2008
جدول المحتويات: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2005
جدول المحتويات: ... Gathering in Lines, Rings and Trees -- Jitter Regulation for Multiple Streams -- Efficient c-Oriented Range...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2010
جدول المحتويات: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2014
جدول المحتويات: ... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2015
جدول المحتويات: ...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...
احصل على النص الكامل
الكتروني كتاب الكتروني