Resultados de procura - parallel continuous programming functionals function https

Search alternatives:
programming functionals » programming functional , programming function , programming fundamentals
continuous programming » continuous program , conventions programming , control programming
functionals function » function function , functions functional , function dysfunction
parallel continuous » parameter continuous , partial continuous , parallel containers
function https » functions https , fiction https

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Publicado 2010

Table of Contents: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2010

Table of Contents: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Ligazón do recurso

Electrónico eBook

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Publicado 2008

Table of Contents: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2005

Table of Contents: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Ligazón do recurso

Electrónico eBook

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Publicado 2010

Table of Contents: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Ligazón do recurso

Electrónico eBook

Beginning R An Introduction to Statistical Programming /

por Pace, Larry., Pace, Larry., Wiley, Joshua.
Publicado 2015

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Ligazón do recurso

Electrónico eBook

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Publicado 2005

Table of Contents: “... of Weighted Continuous Functions -- On a Gevrey-Nonsolvable Partial Differential Operator -- Optimal...”
Ligazón do recurso

Electrónico eBook

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Publicado 2008

Table of Contents: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2010

Table of Contents: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
Ligazón do recurso

Electrónico eBook

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

Publicado 2006

Table of Contents: “... -- Continuous Engineering of Embedded systems -- Prototyping an Ambient Light System - A Case Study...”
Ligazón do recurso

Electrónico eBook

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Publicado 2010

Table of Contents: “... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...”
Ligazón do recurso

Electrónico eBook

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Publicado 2008

Table of Contents: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Ligazón do recurso

Electrónico eBook

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Publicado 2010

Table of Contents: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Ligazón do recurso

Electrónico eBook

The Definitive Guide to Jython Python for the Java Platform /

por Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Publicado 2010

Table of Contents: “... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”
Ligazón do recurso

Electrónico eBook

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Publicado 2015

Table of Contents: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Ligazón do recurso

Electrónico eBook

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Publicado 2006

Table of Contents: “... -- Contributions -- Semi-continuous Sized Types and Termination -- Visibly Pushdown Automata: From Language...”
Ligazón do recurso

Electrónico eBook

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Publicado 2010

Table of Contents: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Ligazón do recurso

Electrónico eBook

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Publicado 2013

Table of Contents: “... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”
Ligazón do recurso

Electrónico eBook

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...

Publicado 2015

Table of Contents: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Ligazón do recurso

Electrónico eBook

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Publicado 2010

Table of Contents: “...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”
Ligazón do recurso

Electrónico eBook

Resultados Agrupados