الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
constructive function » constructive education, constructive induction, constructive relations
problems constructive » problem constructive, problems obstructive, problems construction
parallel programming » parallel processing
function https » functions https, fiction https
constructive function » constructive education, constructive induction, constructive relations
problems constructive » problem constructive, problems obstructive, problems construction
parallel programming » parallel processing
function https » functions https, fiction https
1
منشور في 2010
جدول المحتويات:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2007
جدول المحتويات:
“... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2010
جدول المحتويات:
“... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2010
جدول المحتويات:
“... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2005
جدول المحتويات:
“... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2008
جدول المحتويات:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2015
جدول المحتويات:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2015
جدول المحتويات:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2014
جدول المحتويات:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2008
جدول المحتويات:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2006
جدول المحتويات:
“...Invited Lectures -- Additive Approximation for Edge-Deletion Problems (Abstract) -- Graph Theory I...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2014
جدول المحتويات:
“...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2005
جدول المحتويات:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2006
جدول المحتويات:
“... for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem -- Efficient...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2010
جدول المحتويات:
“...Construction of Irreducible Polynomials over Finite Fields -- Factorization of Polynomials and GCD...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2010
جدول المحتويات:
“... Salesman Problem -- Improved Inapproximability for Submodular Maximization -- Approximation Algorithms...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2012
جدول المحتويات:
“... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2008
جدول المحتويات:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2010
جدول المحتويات:
“... Empty Rectangle and Square Problems in All Dimensions -- Connectivity Is Not a Limit for Kernelization...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2005
جدول المحتويات:
“... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني