Gardiner S. Stiles
  According to our database1,
  Gardiner S. Stiles
  authored at least 11 papers
  between 1985 and 2006.
  
  
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
  2006
    Proceedings of the 29th Communicating Process Architectures Conference, 2006
    
  
  2005
An occam-pi Implementation of a Verified Distributed Robust Annealing Algorithm.
  
    Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2005
    
  
  2002
Multi-threaded Java Design Using Finite State Processes (FSP) and the Labeled Transition System Analyzer.
  
    Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002
    
  
  1999
From Practical CASE to Formal Verification: Software Engineering using Java.
  
    Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
    
  
  1997
Power-Law Convergence of Stochastic Optimization Algorithms.
  
    Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997
    
  
  1996
Guaranteed Message Delivery Time on Real-Time Transputer Systems.
  
    Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1996
    
  
The Speedup of Parallel Randomized Approximation Algorithms.
  
    Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1996
    
  
  1992
Fast full search equivalent encoding algorithms for image compression using vector quantization.
    
  
    IEEE Trans. Image Process., 1992
    
  
  1987
A Quantitative Comparison of the Performance of Three Discrete Distributed Associative Memory Models.
    
  
    IEEE Trans. Computers, 1987
    
  
A Parallel Nonlinear Integer Programming Algorithm Based on Branch and Bound and Simulated Annealing.
  
    Proceedings of the Third SIAM Conference on Parallel Processing for Scientific Computing, 1987
    
  
  1985
    IEEE Trans. Pattern Anal. Mach. Intell., 1985