אפשרויות חיפוש:
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
יצא לאור 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
תוכן הענינים: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
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...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני