Bilaketaren emaitzak - parallel sequential programs functionality setting https

Iradokizunak:
programs functionality » program functionality , programs functional , properties functionality
functionality setting » functionality testing , functionality securing , functional setting
parallel sequential » parallel sequencing , parallel sequence , parallel exponential
sequential programs » sequential processes
setting https » being https , writing https , feeding https

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Argitaratua 2007

Aurkibidea: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Testu osoa

Baliabide elektronikoa eBook

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Argitaratua 2005

Aurkibidea: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Testu osoa

Baliabide elektronikoa eBook

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Argitaratua 2010

Aurkibidea: “... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...”
Testu osoa

Baliabide elektronikoa eBook

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Argitaratua 2006

Aurkibidea: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2010

Aurkibidea: “... Functions Conflicts Calculation -- Credal Sets Approximation by Lower Probabilities: Application to Credal...”
Testu osoa

Baliabide elektronikoa eBook

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Argitaratua 2015

Aurkibidea: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Testu osoa

Baliabide elektronikoa eBook

COMPSTAT 2008 Proceedings in Computational Statistics /

Argitaratua 2008

Aurkibidea: “...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2006

Aurkibidea: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Testu osoa

Baliabide elektronikoa eBook

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Argitaratua 2007

Aurkibidea: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Testu osoa

Baliabide elektronikoa eBook

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Argitaratua 2008

Aurkibidea: “... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”
Testu osoa

Baliabide elektronikoa eBook

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /

Argitaratua 2013

Aurkibidea: “... Set Selection for Boolean Constraint Solvers -- Boosting Sequential Solver Portfolios: Knowledge...”
Testu osoa

Baliabide elektronikoa eBook

Pattern Recognition in Bioinformatics Third IAPR International Conference, PRIB 2008, Melbourne, Australia, October 15-17, 2008. Proceedings /

Argitaratua 2008

Aurkibidea: “... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”
Testu osoa

Baliabide elektronikoa eBook

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

Argitaratua 2005

Aurkibidea: “... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2005

Aurkibidea: “... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”
Testu osoa

Baliabide elektronikoa eBook

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Argitaratua 2005

Aurkibidea: “... Paths Between XML Documents Using Sequential Patterns -- Web Information Systems Development -- Using...”
Testu osoa

Baliabide elektronikoa eBook

AI 2012: Advances in Artificial Intelligence 25th International Australasian Joint Conference, Sydney, Australia, December 4-7, 2012, Proceedings /

Argitaratua 2012

Aurkibidea: “... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...”
Testu osoa

Baliabide elektronikoa eBook

Machine Learning and Data Mining in Pattern Recognition 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...”
Testu osoa

Baliabide elektronikoa eBook

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proc...

Argitaratua 2007

Aurkibidea: “... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2012

Aurkibidea: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
Testu osoa

Baliabide elektronikoa eBook

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Argitaratua 2013

Aurkibidea: “... Evolution Approach to Multi-level Image Thresholding Using Type II Fuzzy Sets -- Differential Evolution...”
Testu osoa

Baliabide elektronikoa eBook

Emaitzak murriztu