Torthaí Cuardaigh - functions computation programming using based text*

1

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

Stochastic Linear Programming Models, Theory, and Computation /

le Kall, Peter., Kall, Peter., Mayer, János.
Foilsithe 2005

Clár Ábhair: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Foilsithe 2007

Clár Ábhair: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Event-Based Programming Taking Events to the Limit /

le Faison, Ted., Faison, Ted.
Foilsithe 2006

Clár Ábhair: “... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Foilsithe 2010

Clár Ábhair: “... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Foilsithe 2008

Clár Ábhair: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Network Performance Analysis Using the J Programming Language /

le Holt, Alan., Holt, Alan.
Foilsithe 2008

Clár Ábhair: “...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Foilsithe 2006

Clár Ábhair: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /

Foilsithe 2005

Clár Ábhair: “... -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Mathematical and Computer Programming Techniques for Computer Graphics

le Comninos, Peter., Comninos, Peter.
Foilsithe 2006

Clár Ábhair: “...-Dimensional Transformations -- Viewing and Projection Transformations -- 3D Rendering -- Physically Based...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /

Foilsithe 2007

Clár Ábhair: “... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Foilsithe 2008

Clár Ábhair: “... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Foilsithe 2013

Clár Ábhair: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Foilsithe 2012

Clár Ábhair: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010...

Foilsithe 2011

Ábhair: “...Programming languages (Electronic computers)....”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Automated model-based test case generation using UML activity diagram

le Monim, Md Abdul
Foilsithe 2018

Ábhair: “...Computer software...”
Faigh an téacs iomlán

Thesis

18

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /

Foilsithe 2005

Clár Ábhair: “... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “... -- Monitoring Architectural Properties in Dynamic Component-Based Systems -- Extra-Functional Properties...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng