Результаты поиска - parallel array programming functionals ((dysfunction https) OR (function https))

1

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Опубликовано 2005

Оглавление: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Полный текст

Электронный ресурс eКнига

2

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

Опубликовано 2007

Оглавление: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Полный текст

Электронный ресурс eКнига

3

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Опубликовано 2006

Оглавление: “... Scope Analysis for Generic Programs on Arrays....”
Полный текст

Электронный ресурс eКнига

4

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Полный текст

Электронный ресурс eКнига

5

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

Опубликовано 2006

Оглавление: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Полный текст

Электронный ресурс eКнига

6

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

Опубликовано 2010

Оглавление: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Полный текст

Электронный ресурс eКнига

7

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

Опубликовано 2010

Оглавление: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Полный текст

Электронный ресурс eКнига

8

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Полный текст

Электронный ресурс eКнига

9

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

по Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Опубликовано 2005

Оглавление: “... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
Полный текст

Электронный ресурс eКнига

10

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Опубликовано 2013

Оглавление: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Полный текст

Электронный ресурс eКнига

11

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

по Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Опубликовано 2012

Оглавление: “... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
Полный текст

Электронный ресурс eКнига

12

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

по Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Опубликовано 2015

Оглавление: “... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
Полный текст

Электронный ресурс eКнига

13

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

Опубликовано 2014

Оглавление: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Полный текст

Электронный ресурс eКнига

14

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

по Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Опубликовано 2006

Оглавление: “... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
Полный текст

Электронный ресурс eКнига

15

A Primer on Scientific Programming with Python

по Langtangen, Hans Petter., Langtangen, Hans Petter.
Опубликовано 2011

Оглавление: “...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Полный текст

Электронный ресурс eКнига

16

A Primer on Scientific Programming with Python

по Langtangen, Hans Petter., Langtangen, Hans Petter.
Опубликовано 2012

Оглавление: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Полный текст

Электронный ресурс eКнига

17

A Primer on Scientific Programming with Python

по Langtangen, Hans Petter., Langtangen, Hans Petter.
Опубликовано 2014

Оглавление: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Полный текст

Электронный ресурс eКнига

18

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Опубликовано 2008

Оглавление: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Полный текст

Электронный ресурс eКнига

19

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Опубликовано 2006

Оглавление: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Полный текст

Электронный ресурс eКнига

20

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Опубликовано 2010

Оглавление: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска