Torthaí Cuardaigh - general ((computation programming) or (computing programming)) semantics arrays a*

1

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

Foilsithe 2013

Clár Ábhair: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”
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: “... – Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis -- Affine...”
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: “... Classification under Imbalanced Data sets: Active Sub-sampling and AUC Approximation -- Exposing a Bias Toward...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

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

6

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

Foilsithe 2010

Clár Ábhair: “... with Arrays -- A Semantic Framework for Declassification and Endorsement -- Amortised Resource Analysis...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

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

Foilsithe 2007

Clár Ábhair: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

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

Foilsithe 2006

Clár Ábhair: “...-Safe Linking of Components for Java-Like Languages -- Towards a Formal Semantics for AspectJ Weaving...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West...

Foilsithe 2005

Clár Ábhair: “... -- Implementation of Parallel Numerical Algorithms Using Hierarchically Tiled Arrays -- A Geometric Approach...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Foilsithe 2008

Clár Ábhair: “... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary...

Foilsithe 2010

Clár Ábhair: “... -- PSO Advances and Application to Inverse Problems -- Adaptive and Accelerated Exploration Particle...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Foilsithe 2010

Clár Ábhair: “... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

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: “... Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies -- Program...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS...

Foilsithe 2008

Clár Ábhair: “... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

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: “... Formulas -- Design and Implementation of : A Real-Time Action Description Language -- Program...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “... Architectures with a Hybrid Parallel Programming Model -- High Performance FFT on SGI Altix 3700 -- Security...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Computer Science - Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... -- Network as a Computer: Ranking Paths to Find Flows -- A Unified Categorical Approach for Attributed Graph...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Foilsithe 2005

Clár Ábhair: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng