Search Results - parallel usage programming functionals function https

Search alternatives:
programming functionals » programming functional , programming function , programming fundamentals
functionals function » function function , functions functional , function dysfunction
usage programming » stage programming , use programming , safe programming
parallel usage » parallel image , parallel age , parallel page
function https » functions https , fiction https

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”
View full text

Electronic eBook

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Published 2006

Table of Contents: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
View full text

Electronic eBook

Java Closures and Lambda

by Fischer, Robert., Fischer, Robert.
Published 2015

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “... Programming -- Domain Types: Abstract-Domain Selection Based on Variable Usage -- Efficient Analysis...”
View full text

Electronic eBook

Differential Evolution A Practical Approach to Global Optimization /

by Price, Kenneth., Price, Kenneth., Storn, Rainer M., Lampinen, Jouni A.
Published 2005

Table of Contents: “... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...”
View full text

Electronic eBook

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Published 2005

Table of Contents: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
View full text

Electronic eBook

Applications of Evolutionary Computing 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

Published 2013

Table of Contents: “... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... -- An Improved Adaptive Self-Organizing Map -- Usage of the TRACO Compiler for Neural Network Parallelization...”
View full text

Electronic eBook

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Published 2007

Table of Contents: “... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”
View full text

Electronic eBook

Mathematical Methods in Engineering

Published 2014

Table of Contents: “... Programming -- 22 Multidimensional Markov Chains Usage in the Radio Resource Management Problem -- 23 A...”
View full text

Electronic eBook

The Semantic Web: Research and Applications 7th European Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... Correctness -- Efficient Semantic Event Processing: Lessons Learned in User Interface Integration -- Usage...”
View full text

Electronic eBook

Advances in Intelligent Data Analysis VI 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005, Proceedings /

Published 2005

Table of Contents: “...Probabilistic Latent Clustering of Device Usage -- Condensed Nearest Neighbor Data Domain...”
View full text

Electronic eBook

Internet and Network Economics First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings /

Published 2005

Table of Contents: “... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...”
View full text

Electronic eBook

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Published 2014

Table of Contents: “... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...”
View full text

Electronic eBook

Embedded and Ubiquitous Computing IFIP International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007, Proceedings /

Published 2007

Table of Contents: “... for Real-Time Systems with Mixed Workload -- Reconfigurable Embedded Systems -- Function-Level Multitasking...”
View full text

Electronic eBook

Narrow Search