1
Опубликовано 2012
Предметы: ...Computer programming....
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2015
Оглавление: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2006
Оглавление: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2011
Предметы: ...Programming languages (Electronic computers)....
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2010
Оглавление: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2005
Оглавление: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2013
Оглавление: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2007
Оглавление: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2006
Оглавление: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2008
Оглавление: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2012
Оглавление: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2010
Оглавление: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2007
Оглавление: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2013
Оглавление: ... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2010
Оглавление: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2006
Оглавление: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2005
Оглавление: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2006
Оглавление: ...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2005
Оглавление: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Полный текст
Электронный ресурс eКнига
20
по Freeman, Adam., Freeman, Adam.
Опубликовано 2010
Оглавление: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Полный текст
Электронный ресурс eКнига