檢索結果 - parallel programs https functioning measuring 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

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

出版 2005

書本目錄: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
獲取全文

電子電子書

3

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

出版 2010

書本目錄: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
獲取全文

電子電子書

4

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

出版 2010

書本目錄: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
獲取全文

電子電子書

5

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

出版 2010

書本目錄: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
獲取全文

電子電子書

6

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

出版 2005

書本目錄: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
獲取全文

電子電子書

7

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

出版 2010

書本目錄: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
獲取全文

電子電子書

8

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

出版 2014

書本目錄: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
獲取全文

電子電子書

9

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

出版 2014

書本目錄: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
獲取全文

電子電子書

10

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

出版 2015

書本目錄: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
獲取全文

電子電子書

11

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

出版 2010

書本目錄: “...Machine Learning and Data Mining -- Towards a Conscious Choice of a Fuzzy Similarity Measure: A...”
獲取全文

電子電子書

12

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

出版 2008

書本目錄: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
獲取全文

電子電子書

13

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

出版 2014

書本目錄: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
獲取全文

電子電子書

14

Innovations in Computing Sciences and Software Engineering

出版 2010

書本目錄: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
獲取全文

電子電子書

15

Evolutionary Algorithms for Solving Multi-Objective Problems

由 Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
出版 2007

書本目錄: “... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”
獲取全文

電子電子書

16

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

出版 2015

書本目錄: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
獲取全文

電子電子書

17

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

出版 2010

書本目錄: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
獲取全文

電子電子書

18

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

出版 2015

書本目錄: “... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...”
獲取全文

電子電子書

19

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

出版 2006

書本目錄: “... for measuring classification uncertainty in latent class analysis -- A robust linear grouping algorithm...”
獲取全文

電子電子書

20

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

出版 2010

書本目錄: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
獲取全文

電子電子書

縮小搜索