Výsledky vyhledávání - parallel arithmetic program functionality function https*

Alternativní vyhledávání:
functionality function » functionals function , functionaries function , functional functions
program functionality » protein functionality , programs functional , supra functionality
parallel arithmetic » parallel synthetic , paradigm arithmetic
arithmetic program » arithmetic programmed , arithmetic programming , arithmetic problems
function https » functions https , fiction https

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

Vydáno 2006

Obsah: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2008

Obsah: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Získat plný text

Elektronický zdroj E-kniha

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Vydáno 2005

Obsah: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Získat plný text

Elektronický zdroj E-kniha

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

Autor Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Vydáno 2015

Obsah: “... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
Získat plný text

Elektronický zdroj E-kniha

Introduction to Programming with Fortran with coverage of Fortran 90, 95, 2003 and 77 /

Autor Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Vydáno 2006

Obsah: “... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
Získat plný text

Elektronický zdroj E-kniha

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

Autor Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Vydáno 2012

Obsah: “... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2014

Obsah: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Získat plný text

Elektronický zdroj E-kniha

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Vydáno 2006

Obsah: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Získat plný text

Elektronický zdroj E-kniha

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Vydáno 2014

Obsah: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
Získat plný text

Elektronický zdroj E-kniha

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Vydáno 2013

Obsah: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Získat plný text

Elektronický zdroj E-kniha

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Vydáno 2005

Obsah: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Získat plný text

Elektronický zdroj E-kniha

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Vydáno 2008

Obsah: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Získat plný text

Elektronický zdroj E-kniha

Transactions on High-Performance Embedded Architectures and Compilers IV

Vydáno 2011

Obsah: “... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”
Získat plný text

Elektronický zdroj E-kniha

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings /

Vydáno 2006

Obsah: “... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”
Získat plný text

Elektronický zdroj E-kniha

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Vydáno 2014

Obsah: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Získat plný text

Elektronický zdroj E-kniha

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Vydáno 2007

Obsah: “... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”
Získat plný text

Elektronický zdroj E-kniha

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proc...

Vydáno 2007

Obsah: “... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”
Získat plný text

Elektronický zdroj E-kniha

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Vydáno 2015

Obsah: “... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání