בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
comparing function » clearing function, combining function, comparing action
programs comparing » program comparing, programs compiling, problems comparing
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
comparing function » clearing function, combining function, comparing action
programs comparing » program comparing, programs compiling, problems comparing
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
יצא לאור 2007
תוכן הענינים:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2010
תוכן הענינים:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2006
תוכן הענינים:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
יצא לאור 2006
תוכן הענינים:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2013
תוכן הענינים:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2005
תוכן הענינים:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2014
תוכן הענינים:
“...-University Exchange and Cooperation on Doctoral Programs in Southeast Asia: Naoki Umemiya, Akiyoshi Yonezawa...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2010
תוכן הענינים:
“...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2015
תוכן הענינים:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2010
תוכן הענינים:
“... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2008
תוכן הענינים:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2010
תוכן הענינים:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
מאת Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
יצא לאור 2007
תוכן הענינים:
“... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”יצא לאור 2007
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2005
תוכן הענינים:
“... -- Exploring an Unknown Graph Efficiently -- Online Routing in Faulty Meshes with Sub-linear Comparative Time...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2015
תוכן הענינים:
“... Mechanized Theory of regular trees in dependent type theory -- Deriving Comparators and Show-Functions...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2010
תוכן הענינים:
“... Algorithm into Microcontroller -- Comparative Study of Distance Functions for Nearest Neighbors...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2006
תוכן הענינים:
“..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2008
תוכן הענינים:
“...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2008
תוכן הענינים:
“...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני