Torthaí Cuardaigh - parallel testing program security function https

1

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

2

Information and Communications Security 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Foilsithe 2008

Clár Ábhair: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

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

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

7

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Foilsithe 2014

Clár Ábhair: “... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Foilsithe 2015

Clár Ábhair: “... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Foilsithe 2014

Clár Ábhair: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

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

11

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

Foilsithe 2008

Clár Ábhair: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

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: “... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

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: “... Analysis and Security Testing -- Risk-Based Vulnerability Testing Using Security Test Patterns -- Medical...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Innovations in Computing Sciences and Software Engineering

Foilsithe 2010

Clár Ábhair: “... Oscillation of Motion Predicting Function -- Security of Virtualized Applications: Microsoft App-V and VMware...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

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

16

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

17

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Foilsithe 2008

Clár Ábhair: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

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

Foilsithe 2010

Clár Ábhair: “... for Software Quality -- Security Scheme for Managing a Large Quantity of Individual Information in RFID...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

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

Foilsithe 2010

Clár Ábhair: “... Deployment on the Grid -- A Parallel Tree Based Strategy for Test Data Generation and Cost Calculation...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Foilsithe 2010

Clár Ábhair: “...: Testing of a New Distribution Strategy -- Workshop on Biomathematics, Bioinformatics and Biostatistics...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng