Search Results - parallel progress program functionality setting https

Search alternatives:
program functionality » protein functionality , programs functional , supra functionality
functionality setting » functionality testing , functionality securing , functional setting
parallel progress » parallel programs , parallel process , parallel progressive
progress program » programs program , process program , progression program
setting https » being https , writing https , feeding https

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Published 2005

Table of Contents: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
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

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Published 2008

Table of Contents: “... for Volume Data Sets by Using Critical Point Graph -- Hybrid Parallelization and Flat Parallelization in HPF...”
View full text

Electronic eBook

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Published 2012

Table of Contents: “... for Set-Valued Mappings.-Optimal Control of Multibody Systems in Resistive Media.-Classical and Relaxed...”
View full text

Electronic eBook

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Published 2010

Table of Contents: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
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: “... of Cryptographical Boolean Functions -- Algorithm for Proving the Knowledge of an Independent Vertex Set...”
View full text

Electronic eBook

Topological Methods in Data Analysis and Visualization III Theory, Algorithms, and Applications /

Published 2014

Table of Contents: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
View full text

Electronic eBook

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /

Published 2013

Table of Contents: “... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...”
View full text

Electronic eBook

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

Published 2005

Table of Contents: “... Platform and Open Source Environments -- Progress on Crossing Number Problems -- Full Contributed Papers...”
View full text

Electronic eBook

Intelligent Technologies for Interactive Entertainment First International Conference, INTETAIN 2005, Madonna di Campaglio, Italy, November 30 - December 2, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Parallel Presentations for Heterogenous User Groups – An Initial User Study -- Performing Physical Object...”
View full text

Electronic eBook

Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International Conference on High Performance Scientific Computing, March 6-10, 2006, Hanoi, Viet...

Published 2008

Table of Contents: “..., 2004: Indian Ocean Tsunami -- Approximate Dynamic Programming for Generation of Robustly Stable...”
View full text

Electronic eBook

Recent Advances in System Reliability Signatures, Multi-state Systems and Statistical Inference /

Published 2012

Table of Contents: “... for Supermarket Refrigeration System by Using Combined Stochastic Process and Universal Generating Function Method...”
View full text

Electronic eBook

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Published 2015

Table of Contents: “... for Generating RWG Function -- Internal AC Fault of Converter Station Based on Modular Multilevel Converter High...”
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