1
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
2
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
3
Foilsithe 2006
Clár Ábhair: ...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
4
Foilsithe 2005
Clár Ábhair: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
5
Foilsithe 2010
Clár Ábhair: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
6
Foilsithe 2005
Clár Ábhair: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
7
Foilsithe 2014
Clár Ábhair: ... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
8
Foilsithe 2014
Clár Ábhair: ... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
9
Foilsithe 2006
Clár Ábhair: ... I -- Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
10
Foilsithe 2013
Clár Ábhair: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
11
le Comninos, Peter., Comninos, Peter.
Foilsithe 2006
Clár Ábhair: ... Spaces or Linear Spaces -- Two-Dimensional Transformations -- Two-Dimensional Clipping -- Three...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
12
Foilsithe 2010
Clár Ábhair: ... Constraint Using Linear Programming -- Sweeping with Continuous Domains -- A New Hybrid Tractable Class...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
13
Foilsithe 2013
Clár Ábhair: ... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
14
Ábhair: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
15
Foilsithe 2010
Clár Ábhair: ... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
16
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
17
Foilsithe 2010
Clár Ábhair: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
18
Foilsithe 2005
Clár Ábhair: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
19
Foilsithe 2015
Clár Ábhair: ... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
20
Foilsithe 2008
Clár Ábhair: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar