Rezultaty - parallel program study functionality functions https

Inne możliwości wyszukiwania:
functionality functions » functional functions , functionals function , functionaries function
study functionality » study functional , supra functionality , its functionality
parallel program » parallel programs , parallel problem , parallel programming
functions https » foundations https
program study » programs study , programme study , program sandy

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Wydane 2013

Spis treści: “... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Wydane 2010

Spis treści: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
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: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
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: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Wydane 2010

Spis treści: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
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: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
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: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
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: “... on Heterogeneous Processors Based on Their Functional Performance Models -- Accelerating S3D: A GPGPU Case Study...”
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

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

Wydane 2008

Spis treści: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Wydane 2010

Spis treści: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Wydane 2010

Spis treści: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

od Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Wydane 2006

Spis treści: “... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....”
Dokumenty pełnotekstowe

Elektroniczne E-book

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Wydane 2013

Spis treści: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

A Primer on Scientific Programming with Python

od Langtangen, Hans Petter., Langtangen, Hans Petter.
Wydane 2011

Spis treści: “...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Dokumenty pełnotekstowe

Elektroniczne E-book

A Primer on Scientific Programming with Python

od Langtangen, Hans Petter., Langtangen, Hans Petter.
Wydane 2012

Spis treści: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Dokumenty pełnotekstowe

Elektroniczne E-book

A Primer on Scientific Programming with Python

od Langtangen, Hans Petter., Langtangen, Hans Petter.
Wydane 2014

Spis treści: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematical and Computer Programming Techniques for Computer Graphics

od Comninos, Peter., Comninos, Peter.
Wydane 2006

Hasła przedmiotowe: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Wydane 2013

Spis treści: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Dokumenty pełnotekstowe

Elektroniczne E-book

1
2
3
4
5
6
7
8
Następna »
[8]

Redukuj rezultaty