Sökresultat - parallel continuous programming function function https*

Menade du:
continuous programming » continuous program , conventions programming , control programming
programming function » programming functional , programming functionals , programme function
parallel continuous » parameter continuous , partial continuous , parallel containers
function function » function functional , functions functional , function dysfunction
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 /

Publicerad 2010

Innehållsförteckning: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Hämta fulltext

Elektronisk E-bok

Beginning R An Introduction to Statistical Programming /

av Pace, Larry., Pace, Larry., Wiley, Joshua.
Publicerad 2015

Ämnen: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... of Weighted Continuous Functions -- On a Gevrey-Nonsolvable Partial Differential Operator -- Optimal...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
Hämta fulltext

Elektronisk E-bok

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 /

Publicerad 2006

Innehållsförteckning: “... -- Continuous Engineering of Embedded systems -- Prototyping an Ambient Light System - A Case Study...”
Hämta fulltext

Elektronisk E-bok

The Definitive Guide to Jython Python for the Java Platform /

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

Innehållsförteckning: “... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2015

Innehållsförteckning: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2006

Innehållsförteckning: “... -- Contributions -- Semi-continuous Sized Types and Termination -- Visibly Pushdown Automata: From Language...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2013

Innehållsförteckning: “... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2015

Innehållsförteckning: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen