Zoekresultaten - parallel execution framework functionality function https

1

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Gepubliceerd in 2006

Inhoudsopgave: “... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”
Volledige tekst

Elektronisch E-boek

2

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

Gepubliceerd in 2010

Inhoudsopgave: “...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”
Volledige tekst

Elektronisch E-boek

3

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

Gepubliceerd in 2006

Inhoudsopgave: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Volledige tekst

Elektronisch E-boek

4

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

Gepubliceerd in 2010

Inhoudsopgave: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
Volledige tekst

Elektronisch E-boek

5

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

Gepubliceerd in 2010

Inhoudsopgave: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Volledige tekst

Elektronisch E-boek

6

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

Gepubliceerd in 2005

Inhoudsopgave: “... Services and Fault-Tolerant Metacomputing with FT-MPI -- A Peer-to-Peer Framework for Robust Execution...”
Volledige tekst

Elektronisch E-boek

7

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

Gepubliceerd in 2008

Inhoudsopgave: “... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”
Volledige tekst

Elektronisch E-boek

8

Metric Driven Design Verification An Engineer's and Executive's Guide to First Pass Success /

door Carter, Hamilton B., Carter, Hamilton B., Hemmady, Shankar G.
Gepubliceerd in 2007

Inhoudsopgave: “...Analyzing And Driving Verification: An Executive's Guide -- The Verification Crisis -- Automated...”
Volledige tekst

Elektronisch E-boek

9

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows /

door Prodan, Radu., Prodan, Radu., Fahringer, Thomas.
Gepubliceerd in 2007

Inhoudsopgave: “... Integration -- Optimisation Framework -- Scientific Grid Workflows -- Related Work -- Conclusions....”
Volledige tekst

Elektronisch E-boek

10

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

Gepubliceerd in 2007

Inhoudsopgave: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
Volledige tekst

Elektronisch E-boek

11

Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3...

Gepubliceerd in 2015

Inhoudsopgave: “....- Models for Estimating the Execution Time of Software Loops in Parallel and Distributed Systems...”
Volledige tekst

Elektronisch E-boek

12

Distributed Algorithms for Message-Passing Systems

door Raynal, Michel., Raynal, Michel.
Gepubliceerd in 2013

Inhoudsopgave: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Volledige tekst

Elektronisch E-boek

13

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers /

Gepubliceerd in 2014

Inhoudsopgave: “... Computing Inspired Approach for Executing Scientific Workflow in the Cloud -- P Systems with Anti-Matter...”
Volledige tekst

Elektronisch E-boek

14

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution...”
Volledige tekst

Elektronisch E-boek

15

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Volledige tekst

Elektronisch E-boek

16

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

Gepubliceerd in 2013

Inhoudsopgave: “... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”
Volledige tekst

Elektronisch E-boek

17

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Gepubliceerd in 2007

Inhoudsopgave: “... and Their Parallel Implementations -- PyACTS: A High-Level Framework for Fast Development of High Performance...”
Volledige tekst

Elektronisch E-boek