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
  17. Kazuhiko Ohno, Masahiko Ikawa, Masahiro Goshimai, Shin-ichiro Mori, Hiroshi Nakashima, Shinji Tomita
    Pages 268-282
  18. T. B. Dinesh, Susan M. Üsküdarh
    Pages 297-311
  19. Ken-etsu Fujita
    Pages 321-335
  20. Mauri Kaipainen, Pantelis Papadopoulos, Pasi Karhu
    Pages 367-367
  21. C. Lursinsap, K. Kanchanasut, T. Siriboon
    Pages 368-370
  22. Mihal Badonski, Mirjana Ivanovic, Zoran Budimac
    Pages 375-376
  23. Man Lin, Jacek Malec, Simin Nadjm-Tehranil
    Pages 379-380
  24. Jean-Raymond Gagné, John Plaice
    Pages 381-382
  25. Shigeru Kusakabe, Kentaro Inenaga, Makoto Amamiya
    Pages 383-384
  26. Back Matter

About these proceedings


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.


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
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment