檢索結果 - parallel programming attributes function function https

搜索替代詞:
programming attributes » programming attitudes , programming distributed , programming activities
parallel programming » parallel processing
attributes function » attribute function , attribute auction , attributes functionally
function function » function functional , functions functional , function dysfunction
function https » functions https , fiction https

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

出版 2008

書本目錄: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
獲取全文

電子電子書

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

出版 2015

書本目錄: “... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”
獲取全文

電子電子書

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

出版 2013

書本目錄: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
獲取全文

電子電子書

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

出版 2010

書本目錄: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
獲取全文

電子電子書

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

出版 2010

書本目錄: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
獲取全文

電子電子書

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

出版 2013

書本目錄: “...-Based Abstraction and Analysis of Attribute Grammar Evaluation -- Termination Analysis for Higher-Order...”
獲取全文

電子電子書

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

出版 2015

書本目錄: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
獲取全文

電子電子書

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

出版 2014

書本目錄: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
獲取全文

電子電子書

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

出版 2010

書本目錄: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
獲取全文

電子電子書

Advanced Techniques in Computing Sciences and Software Engineering

出版 2010

書本目錄: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
獲取全文

電子電子書

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

出版 2010

書本目錄: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
獲取全文

電子電子書

Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings /

出版 2008

書本目錄: “... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...”
獲取全文

電子電子書

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

出版 2010

書本目錄: “... on a Multi-core Cluster -- Generating Parallel Random Sequences via Parameterizing EICGs...”
獲取全文

電子電子書

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

出版 2007

書本目錄: “...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”
獲取全文

電子電子書

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

出版 2006

書本目錄: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
獲取全文

電子電子書

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computati...

出版 2005

書本目錄: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
獲取全文

電子電子書

Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I /

出版 2015

書本目錄: “... of multiobjective optimization algorithms: quality indicators and the attainment function -- Theory and Hyper...”
獲取全文

電子電子書

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM´06 Conference held in Ustron, Poland, June 19-22, 2006 /

出版 2006

書本目錄: “... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...”
獲取全文

電子電子書

Artificial Neural Networks and Machine Learning -- ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings...

出版 2012

書本目錄: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
獲取全文

電子電子書

Foundations of Intelligent Systems 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /

出版 2005

書本目錄: “... for Mining Multi-attribute Dependencies -- Frequent Pattern Mining with Preferences–Utility Functions...”
獲取全文

電子電子書

縮小搜索