Arama Sonuçları - parallel progress programs functionals functions https

Şunu mu demek istediniz:
functionals functions » functionals function , functional functions , functions functions
programs functionals » programs functional , programming functionals , program functionality
parallel progress » parallel programs , parallel process , parallel progressive
progress programs » progress program , progression programs , progress problems
functions https » foundations https

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Tam Metin Erişim

Elektronik Ekitap

New Horizons of Parallel and Distributed Computing

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Tam Metin Erişim

Elektronik Ekitap

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...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Progressively Refining Discretization- Optimization Methods for Optimal Control Problems Defined by Ordinary...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Tam Metin Erişim

Elektronik Ekitap

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...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Parallel Progressive Multiple Sequence Alignment -- Concepts and Systems Tools for Modelling Signal...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
Tam Metin Erişim

Elektronik Ekitap

Imaging in Drug Discovery and Early Clinical Trials

Baskı/Yayın Bilgisi 2005

İçindekiler: “... in the intact organism -- Disease phenotyping: structural and functional readouts -- Evaluation of drug...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
Tam Metin Erişim

Elektronik Ekitap

International Handbook of Occupational Therapy Interventions

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt