Результаты поиска - parallel loops program functionals 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 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

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

Оглавление: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Полный текст

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

3

Pro .NET 4 Parallel Programming in C#

по Freeman, Adam., Freeman, Adam.
Опубликовано 2010

Оглавление: “...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Полный текст

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

4

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

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

Оглавление: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Полный текст

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

5

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

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

Оглавление: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Полный текст

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

6

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

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

Оглавление: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Полный текст

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

7

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

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

Оглавление: “... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”
Полный текст

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

8

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

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

Оглавление: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Полный текст

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

9

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

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

Оглавление: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Полный текст

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

10

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Книга

11

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

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

Оглавление: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Полный текст

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

12

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Книга

13

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Книга

14

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Книга

15

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Книга

16

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

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

Оглавление: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Полный текст

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

17

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

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

Оглавление: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Полный текст

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

18

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

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

Оглавление: “... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”
Полный текст

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

19

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

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

Оглавление: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Полный текст

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

20

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

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

Оглавление: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Полный текст

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

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