Resultados de procura - parallel progression programs functionals function https*

Search alternatives:
parallel progression » parallel progressive , parallel processing , parallel processor
progression programs » progression program , professional programs , protection programs
programs functionals » programs functional , programming functionals , program functionality
functionals function » function function , functions functional , function dysfunction
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 /

Publicado 2012

Table of Contents: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2006

Table of Contents: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2005

Table of Contents: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2008

Table of Contents: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Ligazón do recurso

Electrónico eBook

New Horizons of Parallel and Distributed Computing

Publicado 2005

Table of Contents: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2005

Table of Contents: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2008

Table of Contents: “... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2008

Table of Contents: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Ligazón do recurso

Electrónico 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...

Publicado 2008

Table of Contents: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2012

Table of Contents: “... Progressively Refining Discretization- Optimization Methods for Optimal Control Problems Defined by Ordinary...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2010

Table of Contents: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2008

Table of Contents: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
Ligazón do recurso

Electrónico 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...

Publicado 2005

Table of Contents: “... -- Parallel Progressive Multiple Sequence Alignment -- Concepts and Systems Tools for Modelling Signal...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2010

Table of Contents: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
Ligazón do recurso

Electrónico eBook

Imaging in Drug Discovery and Early Clinical Trials

Publicado 2005

Table of Contents: “... in the intact organism -- Disease phenotyping: structural and functional readouts -- Evaluation of drug...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2005

Table of Contents: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Ligazón do recurso

Electrónico eBook

Recent Advances in System Reliability Signatures, Multi-state Systems and Statistical Inference /

Publicado 2012

Table of Contents: “... for Supermarket Refrigeration System by Using Combined Stochastic Process and Universal Generating Function Method...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2013

Table of Contents: “... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...”
Ligazón do recurso

Electrónico eBook

Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International Conference on High Performance Scientific Computing, March 6-10, 2006, Hanoi, Viet...

Publicado 2008

Table of Contents: “..., 2004: Indian Ocean Tsunami -- Approximate Dynamic Programming for Generation of Robustly Stable...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2007

Table of Contents: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
Ligazón do recurso

Electrónico eBook

Resultados Agrupados