בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
parallel detection » parallel deduction, parallel selection, parallel execution
detection programs » detection program, deletion programs, selection programs
programs function » programs functional, programme function, programs fiction
using https » using http, nursing https, aging https
parallel detection » parallel deduction, parallel selection, parallel execution
detection programs » detection program, deletion programs, selection programs
programs function » programs functional, programme function, programs fiction
using https » using http, nursing https, aging https
1
יצא לאור 2010
תוכן הענינים:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2010
תוכן הענינים:
“... Encoding on GPGPUs -- Towards Metaprogramming for Parallel Systems on a Chip -- Dynamic Detection...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2005
תוכן הענינים:
“... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2008
תוכן הענינים:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2008
תוכן הענינים:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2006
תוכן הענינים:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2010
תוכן הענינים:
“... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2013
תוכן הענינים:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2010
תוכן הענינים:
“... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2007
תוכן הענינים:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2010
תוכן הענינים:
“... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2008
תוכן הענינים:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2010
תוכן הענינים:
“... -- Parallelization of Edge Detection Algorithm using MPI on Beowulf Cluster -- Teaching Physical Based Animation via...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2008
תוכן הענינים:
“... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2008
תוכן הענינים:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2005
תוכן הענינים:
“... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2008
תוכן הענינים:
“... for Volume Data Sets by Using Critical Point Graph -- Hybrid Parallelization and Flat Parallelization in HPF...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים:
“... Record Detection Using q-Grams Array Inverted Index -- Modelling Complex Data by Learning Which Variable...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני