Torthaí Cuardaigh - parallel array programs functionals ((dysfunction https) OR (function https))

1

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

Foilsithe 2005

Clár Ábhair: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

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

Foilsithe 2007

Clár Ábhair: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

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

Foilsithe 2006

Clár Ábhair: “... Scope Analysis for Generic Programs on Arrays....”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

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

Foilsithe 2007

Clár Ábhair: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

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

Foilsithe 2006

Clár Ábhair: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

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

Foilsithe 2010

Clár Ábhair: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

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

Foilsithe 2005

Clár Ábhair: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

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

Foilsithe 2010

Clár Ábhair: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

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

Foilsithe 2013

Clár Ábhair: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

le Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Foilsithe 2005

Clár Ábhair: “... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

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

le Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Foilsithe 2012

Clár Ábhair: “... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

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

le Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Foilsithe 2015

Clár Ábhair: “... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

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

Foilsithe 2014

Clár Ábhair: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

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

le Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Foilsithe 2006

Clár Ábhair: “... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

A Primer on Scientific Programming with Python

le Langtangen, Hans Petter., Langtangen, Hans Petter.
Foilsithe 2011

Clár Ábhair: “...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

A Primer on Scientific Programming with Python

le Langtangen, Hans Petter., Langtangen, Hans Petter.
Foilsithe 2012

Clár Ábhair: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

A Primer on Scientific Programming with Python

le Langtangen, Hans Petter., Langtangen, Hans Petter.
Foilsithe 2014

Clár Ábhair: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

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

Foilsithe 2008

Clár Ábhair: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

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

Foilsithe 2006

Clár Ábhair: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2010

Clár Ábhair: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng