الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
function functional » functions functional, fractional functional, nutrition functional
parallel programs » parallel programming
programs complex » programs compiler, programs complete, programs complexity
complex function » complex functions, complex formation, convex functions
functional https » functions https, function https, functional hop
function functional » functions functional, fractional functional, nutrition functional
parallel programs » parallel programming
programs complex » programs compiler, programs complete, programs complexity
complex function » complex functions, complex formation, convex functions
functional https » functions https, function https, functional hop
1
منشور في 2010
جدول المحتويات:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2011
الموضوعات:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2008
جدول المحتويات:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2010
جدول المحتويات:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2007
جدول المحتويات:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2010
جدول المحتويات:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2010
جدول المحتويات:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2005
جدول المحتويات:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2010
جدول المحتويات:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2010
جدول المحتويات:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2010
جدول المحتويات:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2015
جدول المحتويات:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2010
جدول المحتويات:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2010
جدول المحتويات:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
منشور في 2015
جدول المحتويات:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2014
جدول المحتويات:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2005
جدول المحتويات:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2013
جدول المحتويات:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International...
منشور في 2008
جدول المحتويات:
“..., 2004: Indian Ocean Tsunami -- Approximate Dynamic Programming for Generation of Robustly Stable...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
جدول المحتويات:
“....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني