Arama Sonuçları - parallel programs measuring function function https

1

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Tam Metin Erişim

Elektronik Ekitap

2

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Tam Metin Erişim

Elektronik Ekitap

3

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Tam Metin Erişim

Elektronik Ekitap

4

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Tam Metin Erişim

Elektronik Ekitap

5

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Tam Metin Erişim

Elektronik Ekitap

7

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Tam Metin Erişim

Elektronik Ekitap

8

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Tam Metin Erişim

Elektronik Ekitap

9

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Tam Metin Erişim

Elektronik Ekitap

10

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Tam Metin Erişim

Elektronik Ekitap

11

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Machine Learning and Data Mining -- Towards a Conscious Choice of a Fuzzy Similarity Measure: A...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Tam Metin Erişim

Elektronik Ekitap

13

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Tam Metin Erişim

Elektronik Ekitap

14

Innovations in Computing Sciences and Software Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Tam Metin Erişim

Elektronik Ekitap

15

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Tam Metin Erişim

Elektronik Ekitap

16

Evolutionary Algorithms for Solving Multi-Objective Problems

Yazar: Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Baskı/Yayın Bilgisi 2007

İçindekiler: “... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”
Tam Metin Erişim

Elektronik Ekitap

17

Algorithm Theory - SWAT 2010 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
Tam Metin Erişim

Elektronik Ekitap

18

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...”
Tam Metin Erişim

Elektronik Ekitap

19

COMPSTAT 2006 - Proceedings in Computational Statistics 17th Symposium Held in Rome, Italy, 2006 /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for measuring classification uncertainty in latent class analysis -- A robust linear grouping algorithm...”
Tam Metin Erişim

Elektronik Ekitap

20

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt