Torthaí Cuardaigh - parallel programming required functionality function https

1

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

2

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

3

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

4

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /

Foilsithe 2015

Clár Ábhair: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

packetC Programming

le Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Foilsithe 2011

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

Leictreonach ríomhLeabhar

6

A Primer on Scientific Programming with Python

le Langtangen, Hans Petter., Langtangen, Hans Petter.
Foilsithe 2011

Clár Ábhair: “...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

A Primer on Scientific Programming with Python

le Langtangen, Hans Petter., Langtangen, Hans Petter.
Foilsithe 2012

Clár Ábhair: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

A Primer on Scientific Programming with Python

le Langtangen, Hans Petter., Langtangen, Hans Petter.
Foilsithe 2014

Clár Ábhair: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

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: “... -- Non-functional Requirements in Embedded Systems -- Navigating the Requirements Jungle -- Non...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

Foilsithe 2006

Clár Ábhair: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

le Karrenberg, Ralf., Karrenberg, Ralf.
Foilsithe 2015

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

Leictreonach ríomhLeabhar

13

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

14

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

15

Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”
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

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

18

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

19

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Foilsithe 2006

Clár Ábhair: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings /

Foilsithe 2012

Clár Ábhair: “... -- A Systematic Elaboration of Safety Requirements in the Avionic Domain -- Parallel NuSMV: A NuSMV...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng