Torthaí Cuardaigh - parallel code program functioning part https

1

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

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

2

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

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

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

Foilsithe 2010

Clár Ábhair: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
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

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

7

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

8

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Foilsithe 2015

Clár Ábhair: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

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

10

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

11

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Foilsithe 2010

Clár Ábhair: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Foilsithe 2010

Clár Ábhair: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Networked Digital Technologies, Part I Second International Conference, NDT 2010, Prague, Czech Republic /

Foilsithe 2010

Clár Ábhair: “... Functions -- Distributed Data-Mining in the LISp-Miner System Using Techila Grid -- Non-negative Matrix...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

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

16

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

17

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /

Foilsithe 2014

Clár Ábhair: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...

Foilsithe 2015

Clár Ábhair: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

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

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna...

Foilsithe 2014

Clár Ábhair: “... in Isabelle/HOL -- Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng