الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
complexity function » complexity functions, complex function, complexity reduction
program complexity » programs complexity, problem complexity, programming complexity
dysfunction https » dysfunction after, dysfunction james, dysfunction ahfs
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
complexity function » complexity functions, complex function, complexity reduction
program complexity » programs complexity, problem complexity, programming complexity
dysfunction https » dysfunction after, dysfunction james, dysfunction ahfs
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
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
منشور في 2013
جدول المحتويات:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2005
جدول المحتويات:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”احصل على النص الكامل
الكتروني
كتاب الكتروني
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
منشور في 2008
جدول المحتويات:
“... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”احصل على النص الكامل
الكتروني
كتاب الكتروني