Rezultaty - parallel programs 5 functionals function https

1

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

Wydane 2007

Spis treści: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

od Karrenberg, Ralf., Karrenberg, Ralf.
Wydane 2015

Hasła przedmiotowe: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Wydane 2012

Spis treści: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Wydane 2008

Spis treści: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Wydane 2013

Spis treści: “... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

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

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

Spis treści: “... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

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

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

Spis treści: “....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

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: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

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

10

Expert F# 4.0

od Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
Wydane 2015

Hasła przedmiotowe: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /

Wydane 2015

Spis treści: “...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

Wydane 2005

Spis treści: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

15

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

16

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Wydane 2015

Spis treści: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Wydane 2014

Spis treści: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Distributed, Embedded and Real-time Java Systems

Wydane 2012

Spis treści: “... -- Parallel Real-time Garbage Collection -- Region-based Memory Management: An Evaluation of its Support...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Wydane 2005

Spis treści: “... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Wydane 2010

Spis treści: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty