Search Results - parallel execution program functionality from https

1

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
View full text

Electronic eBook

2

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”
View full text

Electronic eBook

3

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

Published 2006

Table of Contents: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
View full text

Electronic eBook

4

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

Published 2005

Table of Contents: “... Architecture Cyclops64 -- TCP-ABC: From Multiple TCP Connections to Atomic Broadcasting -- A Parallel File...”
View full text

Electronic eBook

5

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

Published 2010

Table of Contents: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
View full text

Electronic eBook

6

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

Published 2010

Table of Contents: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
View full text

Electronic eBook

7

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

Published 2008

Table of Contents: “... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”
View full text

Electronic eBook

8

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
View full text

Electronic eBook

9

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
View full text

Electronic eBook

10

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Published 2013

Table of Contents: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
View full text

Electronic eBook

11

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Published 2015

Table of Contents: “... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”
View full text

Electronic eBook

12

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Published 2006

Table of Contents: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
View full text

Electronic eBook

13

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
View full text

Electronic eBook

14

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Published 2010

Table of Contents: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
View full text

Electronic eBook

15

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

Published 2015

Table of Contents: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
View full text

Electronic eBook

16

Distributed Algorithms for Message-Passing Systems

by Raynal, Michel., Raynal, Michel.
Published 2013

Table of Contents: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
View full text

Electronic eBook

17

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Published 2013

Table of Contents: “... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”
View full text

Electronic eBook

18

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

Published 2008

Table of Contents: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
View full text

Electronic eBook

19

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

Published 2013

Table of Contents: “... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”
View full text

Electronic eBook

20

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
View full text

Electronic eBook

Narrow Search