2008 |
11 | EE | Peter H. Welch,
Susan Stepney,
Fiona Polack,
Fred R. M. Barnes,
Alistair A. McEwan,
Gardiner S. Stiles,
Jan F. Broenink,
Adam T. Sampson:
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
IOS Press 2008 |
2006 |
10 | | Shyam Kumar,
Gardiner S. Stiles:
A JCSP.net Implementation of a Massively Multiplayer Online Game.
CPA 2006: 135-149 |
2005 |
9 | | Gardiner S. Stiles:
An occam-pi Implementation of a Verified Distributed Robust Annealing Algorithm.
PDPTA 2005: 208-218 |
2002 |
8 | | D. D. Rice,
Gardiner S. Stiles:
Multi-threaded Java Design Using Finite State Processes (FSP) and the Labeled Transition System Analyzer.
PDPTA 2002: 325-332 |
1999 |
7 | | Peter G. Clayton,
Gardiner S. Stiles:
From Practical CASE to Formal Verification: Software Engineering using Java.
PDPTA 1999: 81-87 |
1997 |
6 | | Gardiner S. Stiles,
F. H. Lee,
C. Gyulai:
Power-Law Convergence of Stochastic Optimization Algorithms.
PDPTA 1997: 1558-1566 |
1996 |
5 | | Gardiner S. Stiles,
F. H. Lee,
C. Gyulai,
Viswanathan Swaminathan:
The Speedup of Parallel Randomized Approximation Algorithms.
PDPTA 1996: 1284-1295 |
4 | | Ting-Yu Yang,
Gardiner S. Stiles,
Ben A. Abbott:
Guaranteed Message Delivery Time on Real-Time Transputer Systems.
PDPTA 1996: 961-970 |
1992 |
3 | EE | C.-M. Huang,
Qi Bi,
Gardiner S. Stiles,
R. W. Harris:
Fast full search equivalent encoding algorithms for image compression using vector quantization.
IEEE Transactions on Image Processing 1(3): 413-416 (1992) |
1987 |
2 | | Ken W. Bosworth,
Gardiner S. Stiles,
Rick Pennington:
A Parallel Nonlinear Integer Programming Algorithm Based on Branch and Bound and Simulated Annealing.
PPSC 1987: 126-130 |
1 | | Gardiner S. Stiles,
Dong-Lih Denq:
A Quantitative Comparison of the Performance of Three Discrete Distributed Associative Memory Models.
IEEE Trans. Computers 36(3): 257-263 (1987) |