Torthaí Cuardaigh - program papers program https array https

1

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

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

Foilsithe 2013

Clár Ábhair: “... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Foilsithe 2006

Clár Ábhair: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Foilsithe 2015

Clár Ábhair: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

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

Foilsithe 2014

Clár Ábhair: “...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “... of Constructions with Type-Based Termination -- Aligators for Arrays (Tool Paper) -- Clause Elimination Procedures...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

A Practical Programming Model for the Multi-Core Era International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings /

Foilsithe 2008

Clár Ábhair: “... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /

Foilsithe 2007

Clár Ábhair: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

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

12

The Square Kilometre Array: An Engineering Perspective

Foilsithe 2005

Clár Ábhair: “...The Square Kilometre Array: An International Engineering Perspective -- The Allen Telescope Array...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

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

Foilsithe 2005

Clár Ábhair: “... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Foilsithe 2005

Clár Ábhair: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /

Foilsithe 2014

Clár Ábhair: “...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Languages and Compilers for Parallel Computing 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers /

Foilsithe 2013

Clár Ábhair: “...Invited Talk -- Just in Time Load Balancing -- Workshop Papers -- AlphaZ: A System for Design Space...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Foilsithe 2005

Clár Ábhair: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers /

Foilsithe 2007

Clár Ábhair: “... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers /

Foilsithe 2005

Clár Ábhair: “... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

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

Cuardach Cúng