الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
programs functionality » program functionality, programs functional, properties functionality
functionality using » functionality business, functionality design, functioning using
parallel directing » parallel direct, parallel routing, parallel sorting
directing programs » parenting programs, selecting programs, breeding programs
using https » using http, nursing https, aging https
programs functionality » program functionality, programs functional, properties functionality
functionality using » functionality business, functionality design, functioning using
parallel directing » parallel direct, parallel routing, parallel sorting
directing programs » parenting programs, selecting programs, breeding programs
using https » using http, nursing https, aging https
1
منشور في 2007
جدول المحتويات:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2010
جدول المحتويات:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2010
جدول المحتويات:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2005
جدول المحتويات:
“... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2008
جدول المحتويات:
“... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2008
جدول المحتويات:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2010
جدول المحتويات:
“... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2014
جدول المحتويات:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2006
جدول المحتويات:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2010
جدول المحتويات:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2013
جدول المحتويات:
“... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2005
جدول المحتويات:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2008
جدول المحتويات:
“... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2008
جدول المحتويات:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2008
جدول المحتويات:
“...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
بواسطة Jones, Allen., Jones, Allen., MacDonald, Matthew., Rajan, Rakesh., Freeman, Adam.
منشور في 2010
جدول المحتويات:
“... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...”منشور في 2010
احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2010
جدول المحتويات:
“... for Objective Functions with Locally Correlated Variables -- Neural Data Analysis and Reduction Using Improved...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2005
جدول المحتويات:
“...Invited Lecture -- Robust Airline Fleet Assignment:Imposing Station Purity Using Station...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2005
جدول المحتويات:
“... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2010
جدول المحتويات:
“... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”احصل على النص الكامل
الكتروني
كتاب الكتروني