Søgeresultater - parallel processing programs functionals interactions https

Søg alternativer:
functionals interactions » functional interactions , functional interaction , functions interactions
programs functionals » programs functional , programming functionals , program functionality
processing programs » processing programmed , processing problems , processing products
interactions https » interaction https , integration https

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Få fuldtekst

Electronisk eBog

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Udgivet 2010

Indholdsfortegnelse: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Få fuldtekst

Electronisk eBog

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...”
Få fuldtekst

Electronisk eBog

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna...

Udgivet 2014

Indholdsfortegnelse: “... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”
Få fuldtekst

Electronisk eBog

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Få fuldtekst

Electronisk eBog

Multiobjective Optimization Interactive and Evolutionary Approaches /

Udgivet 2008

Indholdsfortegnelse: “... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”
Få fuldtekst

Electronisk eBog

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Få fuldtekst

Electronisk eBog

Cellular Automata in Image Processing and Geometry

Udgivet 2014

Indholdsfortegnelse: “... -- Skeletonizing Digital Images with Cellular Automata -- Image Processing Algorithms Implementation Using Quantum...”
Få fuldtekst

Electronisk eBog

Beginning R An Introduction to Statistical Programming /

af Pace, Larry., Pace, Larry., Wiley, Joshua.
Udgivet 2015

Fag: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst

Electronisk eBog

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Udgivet 2014

Indholdsfortegnelse: “... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...”
Få fuldtekst

Electronisk eBog

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Udgivet 2005

Indholdsfortegnelse: “... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... -- Reinventing Machine Learning with ROC Analysis -- Cocktail Party Processing -- AI in Education and Intelligent...”
Få fuldtekst

Electronisk eBog

Intercultural Collaboration First International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers /

Udgivet 2007

Indholdsfortegnelse: “... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”
Få fuldtekst

Electronisk eBog

Handbook of Data Visualization

Udgivet 2008

Indholdsfortegnelse: “... -- Interactive Linked Micromap Plots for the Display of Geographically Referenced Statistical Data -- Grand Tours...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...”
Få fuldtekst

Electronisk eBog