Kết quả tìm kiếm - parallel progressive programs function functional https

Tìm kiếm thay thế:
parallel progressive » parallel processing , parallel programming , parallel programs
progressive programs » progression programs , progression program , progress program
function functional » functions functional , fractional functional , nutrition functional
programs function » programs functional , programme function , programs fiction
functional https » functions https , function https , functional hop

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

Được phát hành 2012

Mục lục: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2006

Mục lục: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2005

Mục lục: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2008

Mục lục: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
lấy văn bản

Điện tử eBook

New Horizons of Parallel and Distributed Computing

Được phát hành 2005

Mục lục: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2005

Mục lục: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2008

Mục lục: “... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2008

Mục lục: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
lấy văn bản

Điện tử 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...

Được phát hành 2008

Mục lục: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2012

Mục lục: “... Progressively Refining Discretization- Optimization Methods for Optimal Control Problems Defined by Ordinary...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2010

Mục lục: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
lấy văn bản

Điện tử 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...

Được phát hành 2005

Mục lục: “... -- Parallel Progressive Multiple Sequence Alignment -- Concepts and Systems Tools for Modelling Signal...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2008

Mục lục: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2010

Mục lục: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
lấy văn bản

Điện tử eBook

Imaging in Drug Discovery and Early Clinical Trials

Được phát hành 2005

Mục lục: “... in the intact organism -- Disease phenotyping: structural and functional readouts -- Evaluation of drug...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2005

Mục lục: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2007

Mục lục: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
lấy văn bản

Điện tử eBook

International Handbook of Occupational Therapy Interventions

Được phát hành 2015

Mục lục: “... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2013

Mục lục: “... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2014

Mục lục: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
lấy văn bản

Điện tử eBook

Tìm kiếm hẹp