Resultados de búsqueda - parallel array programs functionality using https*

1

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

Publicado 2007

Tabla de Contenidos: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Enlace del recurso

Electrónico eBook

2

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

Publicado 2006

Tabla de Contenidos: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Enlace del recurso

Electrónico eBook

3

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

Publicado 2005

Tabla de Contenidos: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Enlace del recurso

Electrónico eBook

4

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

Publicado 2007

Tabla de Contenidos: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Enlace del recurso

Electrónico eBook

5

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

Publicado 2006

Tabla de Contenidos: “... Scope Analysis for Generic Programs on Arrays....”
Enlace del recurso

Electrónico eBook

6

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

Publicado 2010

Tabla de Contenidos: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Enlace del recurso

Electrónico eBook

7

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

Publicado 2005

Tabla de Contenidos: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Enlace del recurso

Electrónico eBook

8

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

Publicado 2010

Tabla de Contenidos: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Enlace del recurso

Electrónico eBook

9

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

por Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Publicado 2005

Tabla de Contenidos: “... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
Enlace del recurso

Electrónico eBook

10

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

por Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Publicado 2006

Tabla de Contenidos: “... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
Enlace del recurso

Electrónico eBook

11

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

por Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Publicado 2012

Tabla de Contenidos: “... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
Enlace del recurso

Electrónico eBook

12

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

por Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Publicado 2015

Tabla de Contenidos: “... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
Enlace del recurso

Electrónico eBook

13

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

Publicado 2014

Tabla de Contenidos: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
Enlace del recurso

Electrónico eBook

14

A Primer on Scientific Programming with Python

por Langtangen, Hans Petter., Langtangen, Hans Petter.
Publicado 2011

Tabla de Contenidos: “...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Enlace del recurso

Electrónico eBook

15

A Primer on Scientific Programming with Python

por Langtangen, Hans Petter., Langtangen, Hans Petter.
Publicado 2012

Tabla de Contenidos: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Enlace del recurso

Electrónico eBook

16

A Primer on Scientific Programming with Python

por Langtangen, Hans Petter., Langtangen, Hans Petter.
Publicado 2014

Tabla de Contenidos: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Enlace del recurso

Electrónico eBook

17

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

Publicado 2008

Tabla de Contenidos: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Enlace del recurso

Electrónico eBook

18

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

Publicado 2010

Tabla de Contenidos: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Enlace del recurso

Electrónico eBook

19

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Publicado 2013

Tabla de Contenidos: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Enlace del recurso

Electrónico eBook

20

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

Publicado 2015

Tabla de Contenidos: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados