Zoekresultaten - parallel execution functionals function function https

1

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Gepubliceerd in 2007

Inhoudsopgave: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Volledige tekst

Elektronisch E-boek

2

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

3

Guide to FPGA Implementation of Arithmetic Functions

door Deschamps, Jean-Pierre., Deschamps, Jean-Pierre., Sutter, Gustavo D., Cantó, Enrique.
Gepubliceerd in 2012

Onderwerpen: “...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...”
Volledige tekst

Elektronisch E-boek

4

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

Gepubliceerd in 2007

Inhoudsopgave: “... System for Parallel Execution of Fragmented Subroutines -- Application of Simulation Approaches...”
Volledige tekst

Elektronisch E-boek

5

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

Gepubliceerd in 2005

Inhoudsopgave: “... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”
Volledige tekst

Elektronisch E-boek

6

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

7

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

8

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

9

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

10

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

11

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

Gepubliceerd in 2005

Inhoudsopgave: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Volledige tekst

Elektronisch E-boek

12

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

13

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

14

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

15

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

Gepubliceerd in 2008

Inhoudsopgave: “... -- Exploiting Execution Locality with a Decoupled Kilo-Instruction Processor -- Decoupled State-Execute...”
Volledige tekst

Elektronisch E-boek

16

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

17

Brain Mapping From Neural Basis of Cognition to Surgical Applications /

Gepubliceerd in 2011

Onderwerpen: “...Neurosurgery. https://scigraph.springernature.com/ontologies/product-market-codes/H39000...”
Volledige tekst

Elektronisch E-boek

18

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

19

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

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

Onderwerpen: “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Volledige tekst

Elektronisch E-boek

20

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

Gepubliceerd in 2013

Inhoudsopgave: “... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken