Torthaí Cuardaigh - program practice proceedings processing array https

1

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

2

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Foilsithe 2010

Clár Ábhair: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

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

Foilsithe 2014

Clár Ábhair: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

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

Foilsithe 2008

Clár Ábhair: “... and Bloat Free GP -- Practical Model of Genetic Programming’s Performance on Rational Symbolic Regression...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Foilsithe 2015

Clár Ábhair: “... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”
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

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, 2010. Proceedings /

Foilsithe 2010

Clár Ábhair: “... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings /

Foilsithe 2013

Clár Ábhair: “... Graph Isomorphism using Parameterized Matching -- Suffix Array of Alignment: A Practical Index...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /

Foilsithe 2014

Clár Ábhair: “...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Modeling, Simulation and Optimization of Complex Processes - HPSC 2012 Proceedings of the Fifth...

Foilsithe 2014

Clár Ábhair: “... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008...

Foilsithe 2008

Clár Ábhair: “... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

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 of Software, ETAPS...

Foilsithe 2015

Clár Ábhair: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...

Foilsithe 2014

Clár Ábhair: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007...

Foilsithe 2007

Clár Ábhair: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Foilsithe 2014

Clár Ábhair: “... Developments, Challenges and Future Prospects -- Development of Computer Aided Process Planning System...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Foilsithe 2014

Clár Ábhair: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

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

Foilsithe 2010

Clár Ábhair: “... for Tera-Scale Multi-core Microprocessors -- Process Variability and Degradation: New Frontier...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Combinatorial Image Analysis 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004, Proceedings /

Foilsithe 2005

Clár Ábhair: “... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /

Foilsithe 2010

Clár Ábhair: “... with Layered Queueing Networks -- Error Handling: From Theory to Practice -- Modeling and Reasoning about...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng