Pynciau a Argymhellir O fewn eich chwiliad
Pynciau a Argymhellir O fewn eich chwiliad
Chwilio eraill:
parallelizing comparing » parallelizing constraint, parallelizing compilers, parallelizing compiler
programs functionals » programs functional, programming functionals, program functionality
functionals function » function function, functions functional, function dysfunction
comparing programs » camping programs, combining programs, converting programs
function https » functions https, fiction https
parallelizing comparing » parallelizing constraint, parallelizing compilers, parallelizing compiler
programs functionals » programs functional, programming functionals, program functionality
functionals function » function function, functions functional, function dysfunction
comparing programs » camping programs, combining programs, converting programs
function https » functions https, fiction https
1
Cyhoeddwyd 2007
Tabl Cynhwysion:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Cael y testun llawn
Electronig
eLyfr
2
Cyhoeddwyd 2010
Tabl Cynhwysion:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Cael y testun llawn
Electronig
eLyfr
3
Cyhoeddwyd 2010
Tabl Cynhwysion:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Cael y testun llawn
Electronig
eLyfr
4
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Cael y testun llawn
Electronig
eLyfr
5
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Cael y testun llawn
Electronig
eLyfr
6
Cyhoeddwyd 2013
Tabl Cynhwysion:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Cael y testun llawn
Electronig
eLyfr
7
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Cael y testun llawn
Electronig
eLyfr
8
Cyhoeddwyd 2014
Tabl Cynhwysion:
“...-University Exchange and Cooperation on Doctoral Programs in Southeast Asia: Naoki Umemiya, Akiyoshi Yonezawa...”Cael y testun llawn
Electronig
eLyfr
9
Cyhoeddwyd 2010
Tabl Cynhwysion:
“...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”Cael y testun llawn
Electronig
eLyfr
10
Cyhoeddwyd 2015
Tabl Cynhwysion:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Cael y testun llawn
Electronig
eLyfr
11
Cyhoeddwyd 2010
Tabl Cynhwysion:
“... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...”Cael y testun llawn
Electronig
eLyfr
12
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”Cael y testun llawn
Electronig
eLyfr
13
Cyhoeddwyd 2010
Tabl Cynhwysion:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Cael y testun llawn
Electronig
eLyfr
14
gan Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Cyhoeddwyd 2007
Tabl Cynhwysion:
“... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”Cyhoeddwyd 2007
Cael y testun llawn
Electronig
eLyfr
15
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... -- Exploring an Unknown Graph Efficiently -- Online Routing in Faulty Meshes with Sub-linear Comparative Time...”Cael y testun llawn
Electronig
eLyfr
16
Cyhoeddwyd 2015
Tabl Cynhwysion:
“... Mechanized Theory of regular trees in dependent type theory -- Deriving Comparators and Show-Functions...”Cael y testun llawn
Electronig
eLyfr
17
Cyhoeddwyd 2010
Tabl Cynhwysion:
“... Algorithm into Microcontroller -- Comparative Study of Distance Functions for Nearest Neighbors...”Cael y testun llawn
Electronig
eLyfr
18
Cyhoeddwyd 2006
Tabl Cynhwysion:
“..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...”Cael y testun llawn
Electronig
eLyfr
19
Cyhoeddwyd 2008
Tabl Cynhwysion:
“...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”Cael y testun llawn
Electronig
eLyfr
20
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”Cael y testun llawn
Electronig
eLyfr