Gardiner S. Stiles
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
1
Active years
1996–2005
Best venue rank
National
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | PDPTA | An occam-pi Implementation of a Verified Distributed Robust Annealing Algorithm. | Gardiner S. Stiles |
| 2002 | PDPTA | Multi-threaded Java Design Using Finite State Processes (FSP) and the Labeled Transition System Analyzer. | D. D. Rice, Gardiner S. Stiles |
| 1999 | PDPTA | From Practical CASE to Formal Verification: Software Engineering using Java. | Peter G. Clayton, Gardiner S. Stiles |
| 1997 | PDPTA | Power-Law Convergence of Stochastic Optimization Algorithms. | Gardiner S. Stiles, F. H. Lee, C. Gyulai |
| 1996 | PDPTA | The Speedup of Parallel Randomized Approximation Algorithms. | Gardiner S. Stiles, F. H. Lee, C. Gyulai, Viswanathan Swaminathan |
| 1996 | PDPTA | Guaranteed Message Delivery Time on Real-Time Transputer Systems. | Ting-Yu Yang, Gardiner S. Stiles, Ben A. Abbott |