Torthaí Cuardaigh - parallel array programs function modeling https

1

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

2

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

3

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

4

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

5

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

6

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

7

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

8

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

Foilsithe 2014

Clár Ábhair: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

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

10

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

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

14

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Foilsithe 2012

Clár Ábhair: “... Wetlands.-Parallel Computation of Sensitivity Analysis Data for the Danish Eulerian Model.-Implementation...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Foilsithe 2005

Clár Ábhair: “... -- Parallel Progressive Multiple Sequence Alignment -- Concepts and Systems Tools for Modelling Signal...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

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: “... Recommender System -- Parallel Randomized Load Balancing: A Lower Bound for a More General Model -- Ant-CSP...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

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

Foilsithe 2013

Clár Ábhair: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

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

Foilsithe 2015

Clár Ábhair: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

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

Foilsithe 2008

Clár Ábhair: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng