Risultati della ricerca - parallel program 20 functionality function https

Cerca anche:
functionality function » functionals function , functionaries function , functional functions
parallel program » parallel programs , parallel problem , parallel programming
20 functionality » 2 functionality , _ functionality , 85 functionality
function https » functions https , fiction https
program 20 » program 2 , program 10 , program 23

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Pubblicazione 2006

Sommario: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Testo

Elettronico eBook

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Pubblicazione 2006

Sommario: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Testo

Elettronico eBook

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Pubblicazione 2013

Sommario: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Testo

Elettronico eBook

Introduction to Programming with Fortran with coverage of Fortran 90, 95, 2003 and 77 /

di Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Pubblicazione 2006

Sommario: “... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....”
Testo

Elettronico eBook

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Pubblicazione 2014

Sommario: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Testo

Elettronico eBook

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Pubblicazione 2014

Sommario: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
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

Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings /

Pubblicazione 2005

Sommario: “...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Testo

Elettronico eBook

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /

Pubblicazione 2015

Sommario: “...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”
Testo

Elettronico eBook

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings /

Pubblicazione 2006

Sommario: “... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...”
Testo

Elettronico eBook

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

Pubblicazione 2008

Sommario: “... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”
Testo

Elettronico eBook

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers /

Pubblicazione 2014

Sommario: “... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...”
Testo

Elettronico eBook

Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers /

Pubblicazione 2014

Soggetti: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Testo

Elettronico eBook

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”
Testo

Elettronico eBook

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

Pubblicazione 2007

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

Elettronico eBook

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I /

Pubblicazione 2010

Sommario: “... Approximation of Points by a Step Function -- Approximating Multilinear Monomial Coefficients and Maximum...”
Testo

Elettronico eBook

Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers /

Pubblicazione 2005

Sommario: “... Components for Timetabling -- An Open Interactive Timetabling Tool -- Distributed Choice Function Hyper...”
Testo

Elettronico eBook

Restringi la ricerca