Resultats de la cerca - parallel program progress functionality coding https

Alternatives de cerca:
progress functionality » program functionality , protein functionality , cross functionality
functionality coding » functionality adding , functional coding , functionality using
parallel program » parallel programs , parallel problem , parallel programming
program progress » programme progress , program process , programmes progress
coding https » modeling https , coatings https , coaching https

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

Publicat 2006

Taula de continguts: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Obtenir text complet

Electrònic eBook

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Publicat 2005

Taula de continguts: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Obtenir text complet

Electrònic eBook

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Publicat 2012

Taula de continguts: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Obtenir text complet

Electrònic eBook

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Publicat 2008

Taula de continguts: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Obtenir text complet

Electrònic eBook

New Horizons of Parallel and Distributed Computing

Publicat 2005

Taula de continguts: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Obtenir text complet

Electrònic eBook

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

Publicat 2005

Taula de continguts: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Obtenir text complet

Electrònic eBook

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

Publicat 2008

Taula de continguts: “... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”
Obtenir text complet

Electrònic 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...

Publicat 2008

Taula de continguts: “... Transport Simulation Code with High Performance Fortran on a Vector-Parallel Computer -- Distributed...”
Obtenir text complet

Electrònic eBook

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

Publicat 2008

Taula de continguts: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Obtenir text complet

Electrònic eBook

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

Publicat 2012

Taula de continguts: “... Progressively Refining Discretization- Optimization Methods for Optimal Control Problems Defined by Ordinary...”
Obtenir text complet

Electrònic eBook

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

Publicat 2010

Taula de continguts: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Obtenir text complet

Electrònic eBook

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

Publicat 2008

Taula de continguts: “... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...”
Obtenir text complet

Electrònic 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...

Publicat 2005

Taula de continguts: “... -- Parallel Progressive Multiple Sequence Alignment -- Concepts and Systems Tools for Modelling Signal...”
Obtenir text complet

Electrònic eBook

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers /

Publicat 2010

Taula de continguts: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
Obtenir text complet

Electrònic eBook

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Publicat 2005

Taula de continguts: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Obtenir text complet

Electrònic eBook

Imaging in Drug Discovery and Early Clinical Trials

Publicat 2005

Taula de continguts: “... in the intact organism -- Disease phenotyping: structural and functional readouts -- Evaluation of drug...”
Obtenir text complet

Electrònic eBook

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

Publicat 2007

Taula de continguts: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
Obtenir text complet

Electrònic eBook

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

Publicat 2014

Taula de continguts: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
Obtenir text complet

Electrònic eBook

International Handbook of Occupational Therapy Interventions

Publicat 2015

Taula de continguts: “... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...”
Obtenir text complet

Electrònic eBook

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

Publicat 2013

Taula de continguts: “... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...”
Obtenir text complet

Electrònic eBook

Refinar cerca