Søgeresultater - parallel programming progress 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 /

Udgivet 2006

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

Electronisk eBog

2

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

3

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

4

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

Udgivet 2008

Indholdsfortegnelse: “... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”
Få fuldtekst

Electronisk eBog

5

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

6

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

Udgivet 2008

Indholdsfortegnelse: “... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...”
Få fuldtekst

Electronisk eBog

7

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: “... for Volume Data Sets by Using Critical Point Graph -- Hybrid Parallelization and Flat Parallelization in HPF...”
Få fuldtekst

Electronisk eBog

8

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

9

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

10

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

Udgivet 2008

Indholdsfortegnelse: “... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”
Få fuldtekst

Electronisk eBog

11

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

Udgivet 2008

Indholdsfortegnelse: “... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...”
Få fuldtekst

Electronisk eBog

12

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

13

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

14

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

15

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

16

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

17

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

18

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

19

International Handbook of Occupational Therapy Interventions

Udgivet 2015

Indholdsfortegnelse: “... Related to the Use of In-vehicle Intelligent Transport Systems by Drivers with Functional Impairments...”
Få fuldtekst

Electronisk eBog

20

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Processor Architecture Using Asynchronous Function Units -- A Bypass Mechanism to Enhance Branch Predictor...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning