Torthaí Cuardaigh - parallel paths program functionals function https

1

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: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

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

4

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Foilsithe 2008

Clár Ábhair: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

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

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

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

8

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

Foilsithe 2014

Clár Ábhair: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

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

10

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

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

11

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

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

12

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

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

13

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Foilsithe 2013

Clár Ábhair: “... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams /

le Sharan, Kishori., Sharan, Kishori.
Foilsithe 2014

Ábhair: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

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, 2...

Foilsithe 2010

Clár Ábhair: “... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Foilsithe 2015

Clár Ábhair: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

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

20

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

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

Cuardach Cúng