Rezultaty - parallel executions using functionality function https

Inne możliwości wyszukiwania:
functionality function » functionals function , functionaries function , functional functions
parallel executions » parallel execution , parallel evolutions , parallel evolution
using functionality » missing functionality , adding functionality , using functionalized
executions using » execution using , executions used , executions business
function https » functions https , fiction https

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

Wydane 2007

Spis treści: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Guide to FPGA Implementation of Arithmetic Functions

od Deschamps, Jean-Pierre., Deschamps, Jean-Pierre., Sutter, Gustavo D., Cantó, Enrique.
Wydane 2012

Hasła przedmiotowe: “...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... Environment Using the Great Deluge Algorithm -- Parallelism Granules Aggregation with the T-System -- Toward a...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... -- Using Hybrid CPU-GPU Platforms to Accelerate the Computation of the Matrix Sign Function -- Modelling...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

od Carter, Hamilton B., Carter, Hamilton B., Hemmady, Shankar G.
Wydane 2007

Spis treści: “...Analyzing And Driving Verification: An Executive's Guide -- The Verification Crisis -- Automated...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2015

Spis treści: “....- Models for Estimating the Execution Time of Software Loops in Parallel and Distributed Systems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... for Volume Data Sets by Using Critical Point Graph -- Hybrid Parallelization and Flat Parallelization in HPF...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2013

Spis treści: “... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2013

Spis treści: “... Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... Second Order Joinability Formulae -- SAT Solving for Argument Filterings -- Inductive Decidability Using...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty