Torthaí Cuardaigh - parallel functional programs functionality source https

1

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Foilsithe 2011

Ábhair: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Foilsithe 2013

Clár Ábhair: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Foilsithe 2010

Clár Ábhair: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Foilsithe 2010

Clár Ábhair: “...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

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

7

Global Sourcing of Information Technology and Business Processes 4th International Workshop, Global...

Foilsithe 2010

Clár Ábhair: “...Strategic Orientation in the Globalization of Software Firms -- Strategic Sourcing of R&D...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Beginning R An Introduction to Statistical Programming /

le Pace, Larry., Pace, Larry., Wiley, Joshua.
Foilsithe 2015

Ábhair: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Expert F# 4.0

le Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
Foilsithe 2015

Ábhair: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

The Definitive Guide to Jython Python for the Java Platform /

le Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Foilsithe 2010

Clár Ábhair: “... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

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

12

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Foilsithe 2005

Clár Ábhair: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

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: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

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 o...

Foilsithe 2015

Clár Ábhair: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

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

17

Innovations in Computing Sciences and Software Engineering

Foilsithe 2010

Clár Ábhair: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

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

19

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

Foilsithe 2010

Clár Ábhair: “... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Advanced Techniques in Computing Sciences and Software Engineering

Foilsithe 2010

Clár Ábhair: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng