Søgeresultater - parallel progression program function function https

Søg alternativer:
parallel progression » parallel progressive , parallel processing , parallel processor
progression program » progression programs , progress program , progression from
function function » function functional , functions functional , function dysfunction
program function » programme function , programs functional , program foundation
function https » functions https , fiction https

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

Udgivet 2012

Indholdsfortegnelse: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Få fuldtekst

Electronisk eBog

New Horizons of Parallel and Distributed Computing

Udgivet 2005

Indholdsfortegnelse: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2012

Indholdsfortegnelse: “... Progressively Refining Discretization- Optimization Methods for Optimal Control Problems Defined by Ordinary...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... -- Parallel Progressive Multiple Sequence Alignment -- Concepts and Systems Tools for Modelling Signal...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
Få fuldtekst

Electronisk eBog

Imaging in Drug Discovery and Early Clinical Trials

Udgivet 2005

Indholdsfortegnelse: “... in the intact organism -- Disease phenotyping: structural and functional readouts -- Evaluation of drug...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
Få fuldtekst

Electronisk eBog

International Handbook of Occupational Therapy Interventions

Udgivet 2015

Indholdsfortegnelse: “... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning