Gardiner S. Stiles

13 papers Misc 6Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2009 — ed.
The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009
CPA
Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Fred R. M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, Brian Vinter
2008 — ed.
The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008
CPA
Peter H. Welch, Susan Stepney, Fiona Polack, Fred R. M. Barnes, Alistair A. McEwan, Gardiner S. Stiles, Jan F. Broenink, Adam T. Sampson
2006 — conf
A JCSP.net Implementation of a Massively Multiplayer Online Game.
CPA
Shyam Kumar, Gardiner S. Stiles
2005 Misc conf
An occam-pi Implementation of a Verified Distributed Robust Annealing Algorithm.
PDPTA
Gardiner S. Stiles
2002 Misc conf
Multi-threaded Java Design Using Finite State Processes (FSP) and the Labeled Transition System Analyzer.
PDPTA
D. D. Rice, Gardiner S. Stiles
1999 Misc conf
From Practical CASE to Formal Verification: Software Engineering using Java.
PDPTA
Peter G. Clayton, Gardiner S. Stiles
1997 Misc conf
Power-Law Convergence of Stochastic Optimization Algorithms.
PDPTA
Gardiner S. Stiles, F. H. Lee, C. Gyulai
1996 Misc conf
Guaranteed Message Delivery Time on Real-Time Transputer Systems.
PDPTA
Ting-Yu Yang, Gardiner S. Stiles, Ben A. Abbott
1996 Misc conf
The Speedup of Parallel Randomized Approximation Algorithms.
PDPTA
Gardiner S. Stiles, F. H. Lee, C. Gyulai, Viswanathan Swaminathan
1992 J jnl
Fast full search equivalent encoding algorithms for image compression using vector quantization.
IEEE Trans. Image Process.
C.-M. Huang, Qi Bi, Gardiner S. Stiles, R. W. Harris
1987 — conf
A Parallel Nonlinear Integer Programming Algorithm Based on Branch and Bound and Simulated Annealing.
PP
Ken W. Bosworth, Gardiner S. Stiles, Rick Pennington
1987 J jnl
A Quantitative Comparison of the Performance of Three Discrete Distributed Associative Memory Models.
IEEE Trans. Computers
Gardiner S. Stiles, Dong-Lih Denq
1985 J jnl
On the Effect of Noise on the Moore-Penrose Generalized Inverse Associative Memory.
IEEE Trans. Pattern Anal. Mach. Intell.
Gardiner S. Stiles, Dong-Lih Denq
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling