אפשרויות חיפוש:
processing problems » programming problems
program proceedings » programs proceedings, programme proceedings, programmes proceedings
proceedings array » proceedings arab, proceedings galway, proceedings asean
problems program » problems programs, problem program, problems progress
1
יצא לאור 2008
תוכן הענינים: ... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2014
תוכן הענינים: ...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2015
תוכן הענינים: ... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2010
תוכן הענינים: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2013
תוכן הענינים: ... Engine Processors -- Query Processing in Highly-Loaded Search Engines -- Indexes for Jumbled Pattern...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2006
תוכן הענינים: ... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2013
תוכן הענינים: ... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2013
תוכן הענינים: ... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2006
תוכן הענינים: ... Versus Suffix Arrays for Locating Patterns in Primary Memory -- Efficient Lazy Algorithms for Minimal...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2010
תוכן הענינים: ... Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics -- SAT...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2010
תוכן הענינים: ... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2008
תוכן הענינים: ... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2014
תוכן הענינים: ... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2010
תוכן הענינים: ...Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2005
תוכן הענינים: ... Domains -- Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2014
תוכן הענינים: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים: ... for Tera-Scale Multi-core Microprocessors -- Process Variability and Degradation: New Frontier...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2005
תוכן הענינים: ...Discrete Tomography -- Binary Matrices Under the Microscope: A Tomographical Problem...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2005
תוכן הענינים: ... Common Rigid Subsequence Problem -- Text Indexing with Errors -- A New Compressed Suffix Tree Supporting...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני