תוצאות חיפוש - parallel programming progress functionality using https

1

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

יצא לאור 2006

תוכן הענינים: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

2

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

יצא לאור 2005

תוכן הענינים: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

3

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

יצא לאור 2012

תוכן הענינים: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

4

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

יצא לאור 2008

תוכן הענינים: “... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

5

New Horizons of Parallel and Distributed Computing

יצא לאור 2005

תוכן הענינים: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

6

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

יצא לאור 2008

תוכן הענינים: “... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2008

תוכן הענינים: “... for Volume Data Sets by Using Critical Point Graph -- Hybrid Parallelization and Flat Parallelization in HPF...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

8

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

יצא לאור 2012

תוכן הענינים: “... Progressively Refining Discretization- Optimization Methods for Optimal Control Problems Defined by Ordinary...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

9

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

יצא לאור 2010

תוכן הענינים: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

10

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

יצא לאור 2008

תוכן הענינים: “... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

11

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

יצא לאור 2008

תוכן הענינים: “... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

12

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

יצא לאור 2010

תוכן הענינים: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2005

תוכן הענינים: “... -- Parallel Progressive Multiple Sequence Alignment -- Concepts and Systems Tools for Modelling Signal...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

14

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

יצא לאור 2005

תוכן הענינים: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

15

Imaging in Drug Discovery and Early Clinical Trials

יצא לאור 2005

תוכן הענינים: “... in the intact organism -- Disease phenotyping: structural and functional readouts -- Evaluation of drug...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

16

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

יצא לאור 2007

תוכן הענינים: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

17

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

יצא לאור 2013

תוכן הענינים: “... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

18

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

יצא לאור 2014

תוכן הענינים: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

19

International Handbook of Occupational Therapy Interventions

יצא לאור 2015

תוכן הענינים: “... Related to the Use of In-vehicle Intelligent Transport Systems by Drivers with Functional Impairments...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

20

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

יצא לאור 2007

תוכן הענינים: “... Processor Architecture Using Asynchronous Function Units -- A Bypass Mechanism to Enhance Branch Predictor...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

צמצם חיפוש