בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
programmed functionality » program functionality, properties functionality, programming functional
functionality function » functionals function, functionaries function, functional functions
spatial programmed » partial programmed, spatial programming, special programme
parallel spatial » parallelism spatial, parallel spectral, parallel serial
function https » functions https, fiction https
programmed functionality » program functionality, properties functionality, programming functional
functionality function » functionals function, functionaries function, functional functions
spatial programmed » partial programmed, spatial programming, special programme
parallel spatial » parallelism spatial, parallel spectral, parallel serial
function https » functions https, fiction https
1
יצא לאור 2005
תוכן הענינים:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2010
תוכן הענינים:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
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...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2014
תוכן הענינים:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2010
תוכן הענינים:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
תוכן הענינים:
“... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2010
תוכן הענינים:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2005
תוכן הענינים:
“... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2008
תוכן הענינים:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2010
תוכן הענינים:
“...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2010
תוכן הענינים:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2010
תוכן הענינים:
“... with Beddington-De Angelis Functional Response -- Spatial Shift-Share Method: A New Method in the Study...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2008
תוכן הענינים:
“... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2007
תוכן הענינים:
“... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2008
תוכן הענינים:
“...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... in Value Range -- The Research for Spatial Role-Based Access Control Model -- Workshop on Collective...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2006
תוכן הענינים:
“... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2007
תוכן הענינים:
“... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני