Risultati della ricerca - parallel compiler pattern function function https

Cerca anche:
parallel compiler » parallel computer , parallel computers , parallel coupled
function function » function functional , functions functional , function dysfunction
compiler pattern » complex pattern , complex patterns , combined pattern
pattern function » patterns function , pattern functional , patterson functions
function https » functions https , fiction https

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

Pubblicazione 2007

Sommario: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... -- An Improved Scheme of Wavelength Assignment for Parallel FFT Communication Pattern on a Class of Regular...”
Testo

Elettronico eBook

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Pubblicazione 2010

Sommario: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Testo

Elettronico eBook

Analysis of Parallel Spike Trains

Pubblicazione 2010

Sommario: “...-neuron spike patterns -- Spatio-Temporal Patterns -- Unitary Event Analysis -- Information Geometry...”
Testo

Elettronico eBook

Beginning Haskell A Project-Based Approach /

di Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Pubblicazione 2014

Soggetti: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Testo

Elettronico eBook

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

Pubblicazione 2013

Sommario: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Testo

Elettronico eBook

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014,...

Pubblicazione 2014

Sommario: “... Systems -- Staged Composition Synthesis -- Overlapping and Order-Independent Patterns: Definitional...”
Testo

Elettronico eBook

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

Pubblicazione 2010

Sommario: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
Testo

Elettronico eBook

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

Pubblicazione 2006

Sommario: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Testo

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

Pubblicazione 2015

Sommario: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Testo

Elettronico eBook

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I /

Pubblicazione 2014

Sommario: “... -- An Improved Adaptive Self-Organizing Map -- Usage of the TRACO Compiler for Neural Network Parallelization...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis...”
Testo

Elettronico eBook

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings /

Pubblicazione 2013

Sommario: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Testo

Elettronico eBook

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

Pubblicazione 2014

Sommario: “... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...”
Testo

Elettronico eBook

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /

Pubblicazione 2010

Sommario: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
Testo

Elettronico eBook

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

Pubblicazione 2010

Sommario: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Testo

Elettronico eBook

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Pubblicazione 2008

Sommario: “... for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model...”
Testo

Elettronico eBook

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

Pubblicazione 2015

Sommario: “...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”
Testo

Elettronico eBook

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,...

Pubblicazione 2015

Sommario: “... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...”
Testo

Elettronico eBook

Restringi la ricerca