Risultati della ricerca - parallel progression programs function using https

1

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

Pubblicazione 2006

Sommario: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Testo

Elettronico eBook

2

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

Pubblicazione 2005

Sommario: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Testo

Elettronico eBook

3

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

Pubblicazione 2012

Sommario: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Testo

Elettronico eBook

4

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

Pubblicazione 2008

Sommario: “... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”
Testo

Elettronico eBook

5

New Horizons of Parallel and Distributed Computing

Pubblicazione 2005

Sommario: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Testo

Elettronico eBook

6

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

Pubblicazione 2008

Sommario: “... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...”
Testo

Elettronico eBook

7

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

Pubblicazione 2008

Sommario: “... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”
Testo

Elettronico eBook

8

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

Pubblicazione 2008

Sommario: “... for Volume Data Sets by Using Critical Point Graph -- Hybrid Parallelization and Flat Parallelization in HPF...”
Testo

Elettronico eBook

9

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

Pubblicazione 2012

Sommario: “... Progressively Refining Discretization- Optimization Methods for Optimal Control Problems Defined by Ordinary...”
Testo

Elettronico eBook

10

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

Pubblicazione 2010

Sommario: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Testo

Elettronico eBook

11

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

Pubblicazione 2005

Sommario: “... -- Parallel Progressive Multiple Sequence Alignment -- Concepts and Systems Tools for Modelling Signal...”
Testo

Elettronico eBook

12

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

Pubblicazione 2008

Sommario: “... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...”
Testo

Elettronico eBook

13

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

Pubblicazione 2010

Sommario: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
Testo

Elettronico eBook

14

Imaging in Drug Discovery and Early Clinical Trials

Pubblicazione 2005

Sommario: “... in the intact organism -- Disease phenotyping: structural and functional readouts -- Evaluation of drug...”
Testo

Elettronico eBook

15

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

Pubblicazione 2005

Sommario: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Testo

Elettronico eBook

16

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

Pubblicazione 2007

Sommario: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
Testo

Elettronico eBook

17

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

Pubblicazione 2013

Sommario: “... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...”
Testo

Elettronico eBook

18

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

Pubblicazione 2014

Sommario: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
Testo

Elettronico eBook

19

International Handbook of Occupational Therapy Interventions

Pubblicazione 2015

Sommario: “... Related to the Use of In-vehicle Intelligent Transport Systems by Drivers with Functional Impairments...”
Testo

Elettronico eBook

20

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

Pubblicazione 2005

Sommario: “... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...”
Testo

Elettronico eBook

Restringi la ricerca