Search Results - parallel programming https resolution simulation https

Search alternatives:
resolution simulation » resolution simulations , solution simulation , percolation simulation
parallel programming » parallel processing
programming https » programming http , programming hands , programming hints
https resolution » hiatus resolution , its resolution , high resolution
simulation https » computation https , education https , migration https

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings /

Published 2012

Table of Contents: “... Interest Rate Swaptions via Parallel Simulation under the Extended Multi-factor LIBOR Market Model...”
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

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Published 2013

Table of Contents: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”
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: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Published 2007

Table of Contents: “... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”
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: “... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”
View full text

Electronic eBook

Frontiers of Computational Science Proceedings of the International Symposium on Frontiers of Computational Science 2005 /

Published 2007

Table of Contents: “... to Protein Folding -- A Fourth Type of Secondary Structure Breaker -- Neighborhood Parallel Simulated...”
View full text

Electronic eBook

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings /

Published 2015

Table of Contents: “... Generated 2D Patterns -- Electricity Demand Modelling with Genetic Programming -- The Optimization Ability...”
View full text

Electronic eBook

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Published 2005

Table of Contents: “... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...”
View full text

Electronic eBook

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings /

Published 2013

Table of Contents: “... Access Optimization for Data-Parallel Languages -- Approximation and Forgetting -- Roughening the EL...”
View full text

Electronic eBook

Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008, Proceedings /

Published 2008

Table of Contents: “... Criteria for Rescue Simulations -- Modularity in Agent Programming Languages -- On the Pheromone Update...”
View full text

Electronic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Integration to a Microsoft Robotics Studio Simulation -- A Proposed Framework for Collaborative Design in a...”
View full text

Electronic eBook

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Published 2008

Table of Contents: “... -- Accomplishments and Challenges in Code Development for Parallel and Multimechanics Simulations -- An Algorithm...”
View full text

Electronic eBook

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers /

Published 2005

Table of Contents: “...1: Large Scale Computations -- Large Scale Simulations -- Development and Integration of Parallel...”
View full text

Electronic eBook

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Published 2007

Table of Contents: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
View full text

Electronic eBook

Advances in Visual Computing Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part I /

Published 2006

Table of Contents: “...-Invariant Face Recognition -- A High-Speed Parallel Architecture for Stereo Matching -- Light Simulation...”
View full text

Electronic eBook

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings /

Published 2013

Table of Contents: “... Resolution -- Formalizing Bounded Increase -- Formal Program Optimization in Nuprl Using Computational...”
View full text

Electronic eBook

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Published 2013

Table of Contents: “... Bottom-Up Tree Transducers -- Revealing vs. Concealing: More Simulation Games for Büchi Inclusion...”
View full text

Electronic eBook

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Published 2008

Table of Contents: “... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”
View full text

Electronic eBook

Narrow Search