Torthaí Cuardaigh - program part programs https array https

1

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Foilsithe 2010

Clár Ábhair: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Foilsithe 2008

Clár Ábhair: “... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

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

Foilsithe 2014

Clár Ábhair: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Programming for Engineers A Foundational Approach to Learning C and Matlab /

le Bradley, Aaron R., Bradley, Aaron R.
Foilsithe 2011

Clár Ábhair: “...Chap. 1, Memory: The Stack -- Chap. 2, Control -- Chap. 3, Arrays and Strings -- Chap. 4, Debugging...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Learn to Program with C

le Kalicharan, Noel., Kalicharan, Noel.
Foilsithe 2015

Clár Ábhair: “...1. Elementary Programming Concepts -- 2. C The Basics -- 3. Programs with Sequence Logic -- 4...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities /

le Simon, Axel., Simon, Axel.
Foilsithe 2008

Clár Ábhair: “... for C -- Core C -- Related Work -- Part 1 Abstracting Soundly -- Abstract State Space -- Points...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

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

Foilsithe 2010

Clár Ábhair: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

US Programs Affecting Food and Agricultural Marketing

Foilsithe 2013

Clár Ábhair: “... State University. Part. VI. Challenges and Opportunities -- 18. Program Challenges and Future...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

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

Foilsithe 2010

Clár Ábhair: “... -- Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Nodes...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Gravitational Wave Detection and Data Analysis for Pulsar Timing Arrays

le van Haasteren, Rutger., van Haasteren, Rutger.
Foilsithe 2014

Clár Ábhair: “...Foreword -- Introduction -- Bayesian data analysis of Pulsar Timing Arrays -- Gravitational-wave...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Foilsithe 2015

Clár Ábhair: “... -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint...

Foilsithe 2014

Clár Ábhair: “...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European...

Foilsithe 2007

Clár Ábhair: “... Scheduling on Multi-issue Digital Signal Processors -- An Array Allocation Scheme for Energy Reduction...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Haptics: Generating and Perceiving Tangible Sensations, Part II 7th International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings /

Foilsithe 2010

Clár Ábhair: “... -- Pressure Is a Viable Controlled Output of Motor Programming for Object Manipulation Tasks -- Performance...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008...

Foilsithe 2008

Clár Ábhair: “... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

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

Foilsithe 2014

Clár Ábhair: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

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: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /

Foilsithe 2010

Clár Ábhair: “... Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

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

Foilsithe 2007

Clár Ábhair: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

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: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng