Table of contents

  1. Front Matter
  2. Nicholas Ayache
    Pages 4-17
  3. Stephan Merz
    Pages 32-45
  4. R. Ramanujam
    Pages 57-71
  5. Sasikumar Punnekkat, Rob Davis, Alan Burns
    Pages 72-82
  6. Shin-Mu Tseng, Y. H. Chin, Wei-Pang Yang
    Pages 83-97
  7. Zhiyi Huang, Wan-Ju Lei, Chengzheng Sun, Abdul Sattar
    Pages 98-109
  8. Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio
    Pages 110-120
  9. R. Wetprasit, A. Sattar, L. Khatib
    Pages 121-135
  10. Yan Georget, Philippe Codognet, Francesca Rossi
    Pages 136-150
  11. Thomas Plagemann, Vera Goebel
    Pages 151-165
  12. Li Xuandong, Dang Van Hung, Zheng Tao
    Pages 166-180
  13. Erich Mikk, Yassine Lakhnechi, Michael Siegel
    Pages 181-196
  14. Masateru Harao
    Pages 197-211
  15. Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh
    Pages 212-224
  16. B. Le Charlier, C. Leclère, S. Rossi, A. Cortesi
    Pages 225-238

About these proceedings

Introduction

This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal, in December 1997. The volume presents 24 revised full papers selected from a total of 94 submissions. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations, and 10 posters. Among the areas addressed are programming languages, formal methods, mathematical logic, reasoning and constraints, real-time computing, networking, mobile computing, image processing, hardware verification, and parallel processing.

Keywords

Formal Reasoning Networking Processing Program Compilation Programming Languages Real-Time Systems Simulation embedded systems image analysis image processing programming programming language verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-63875-X
  • Copyright Information Springer-Verlag 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63875-9
  • Online ISBN 978-3-540-69658-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book