1
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
Foilsithe 2006
Clár Ábhair: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
3
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
4
Foilsithe 2006
Clár Ábhair: ...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
5
Foilsithe 2010
Clár Ábhair: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
6
Foilsithe 2008
Clár Ábhair: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
7
Clár Ábhair: ... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Technical Topics...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
8
Clár Ábhair: ... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Migrating Python...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
9
Clár Ábhair: ... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Migrating Python...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
10
Foilsithe 2005
Clár Ábhair: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
11
Foilsithe 2013
Clár Ábhair: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
12
Foilsithe 2010
Clár Ábhair: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
13
Foilsithe 2005
Clár Ábhair: ... Integral Equation of Prandtl’s Type -- Fourier Integral Operators and Gelfand-Shilov Spaces -- Strongly...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
14
Foilsithe 2013
Clár Ábhair: ... Manipulation -- Implementing Equational Constraints in a Functional Language -- On the Efficient Implementation...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
15
Clár Ábhair: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
16
Foilsithe 2015
Clár Ábhair: ... and the Coefficient in a Parabolic Equation -- Effectiveness of the parallel implementation of the FEM for the problem...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
17
Foilsithe 2005
Clár Ábhair: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
18
Foilsithe 2010
Clár Ábhair: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
19
Foilsithe 2006
Clár Ábhair: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
20
Foilsithe 2010
Clár Ábhair: ... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar