Rezultaty - parallel conceptions program function using https

1

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

2

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

3

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

4

New Horizons of Parallel and Distributed Computing

Wydane 2005

Spis treści: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

6

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Wydane 2013

Spis treści: “... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

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

8

Software Engineering 1 Abstraction and Modelling /

od Bjørner, Dines., Bjørner, Dines.
Wydane 2006

Spis treści: “...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

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

10

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

Wydane 2010

Spis treści: “... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams /

od Sharan, Kishori., Sharan, Kishori.
Wydane 2014

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

Elektroniczne E-book

12

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

13

Guide to Scientific Computing in C++

od Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Wydane 2012

Spis treści: “... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Wydane 2010

Spis treści: “... -- Possibility Theory and Formal Concept Analysis: Context Decomposition and Uncertainty Handling -- A Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Wydane 2008

Spis treści: “... Diagnosis with the Use of Intelligent Techniques -- Introducing Parallel Computations to a PTTP-Based First...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

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

Wydane 2015

Spis treści: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Innovations in Computing Sciences and Software Engineering

Wydane 2010

Spis treści: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Ada...

Wydane 2008

Spis treści: “... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Wydane 2010

Spis treści: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Wydane 2010

Spis treści: “... for Objective Functions with Locally Correlated Variables -- Neural Data Analysis and Reduction Using Improved...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty