Search Results - parallel safe program functionality using https

Search alternatives:
program functionality » protein functionality , programs functional , supra functionality
functionality using » functionality business , functionality design , functioning using
parallel safe » parallel state , parallel shape , parallel sat
safe program » safety program , space program , care program
using https » using http , nursing https , aging https

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
View full text

Electronic eBook

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Published 2010

Table of Contents: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
View full text

Electronic eBook

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Published 2015

Table of Contents: “... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
View full text

Electronic eBook

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Published 2013

Table of Contents: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
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 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Published 2014

Table of Contents: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
View full text

Electronic eBook

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Published 2007

Table of Contents: “... of Multi-agent Systems by Using EUSMs -- Strong Safe Realizability of Message Sequence Chart Specifications...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “...A Case Study of Web Services Orchestration -- A Correct Abstract Machine for Safe Ambients -- A...”
View full text

Electronic eBook

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

Published 2013

Table of Contents: “... Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator...”
View full text

Electronic eBook

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Published 2010

Table of Contents: “... Expert System for Diabetes Disease Diagnosis Using Modified Spline Smooth Support Vector Machine...”
View full text

Electronic eBook

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Published 2008

Table of Contents: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
View full text

Electronic eBook

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2 /

Published 2015

Table of Contents: “... Swap Operations -- Hybrid Memetic Algorithm For FPGA Placement and Routing Using Parallel Genetic...”
View full text

Electronic eBook

Narrow Search