1
Foilsithe 2007
Clár Ábhair: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
2
Foilsithe 2010
Clár Ábhair: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
3
Foilsithe 2005
Clár Ábhair: ... on Efficient Index Techniques -- A Parallel Routing Algorithm on Circulant Networks Employing the Hamiltonian...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
4
Foilsithe 2014
Clár Ábhair: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
5
Foilsithe 2006
Clár Ábhair: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
6
Clár Ábhair: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
7
Clár Ábhair: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
8
Clár Ábhair: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
9
le Bjørner, Dines., Bjørner, Dines.
Foilsithe 2006
Clár Ábhair: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
10
Foilsithe 2015
Clár Ábhair: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
11
le Raynal, Michel., Raynal, Michel.
Foilsithe 2013
Clár Ábhair: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
12
Foilsithe 2005
Clár Ábhair: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
13
Foilsithe 2008
Clár Ábhair: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
14
Foilsithe 2006
Clár Ábhair: ... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
15
Clár Ábhair: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
16
Foilsithe 2012
Clár Ábhair: ... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
17
Foilsithe 2010
Clár Ábhair: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
18
Foilsithe 2010
Clár Ábhair: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
19
Foilsithe 2010
Clár Ábhair: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
20
Foilsithe 2005
Clár Ábhair: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar