Search Results - parallel programming pruning functionals function https

Search alternatives:
parallel programming » parallel processing
functionals function » function function , functions functional , function dysfunction
programming pruning » programming proving , programming running , programming spanning
pruning functionals » printing functional , probing functional , proving functional
function https » functions https , fiction https

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

Published 2006

Table of Contents: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
View full text

Electronic eBook

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Published 2013

Table of Contents: “... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
View full text

Electronic eBook

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Published 2010

Table of Contents: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
View full text

Electronic eBook

Machine Learning and Knowledge Discovery in Databases European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II /

Published 2008

Table of Contents: “... Discourse -- Effective Pruning Techniques for Mining Quasi-Cliques -- Efficient Pairwise Multilabel...”
View full text

Electronic eBook

Advances in Artificial Intelligence 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Recognition of Greek Phonemes Using Support Vector Machines -- Ensemble Pruning Using Reinforcement Learning...”
View full text

Electronic eBook

Advances in Neural Networks – ISNN 2014 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings /

Published 2014

Table of Contents: “... of Decision Strategies -- Memristive Radial Basis Function Neural Network for Parameters Adjustment of PID...”
View full text

Electronic eBook

Narrow Search