Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1997

Advances in Computing Science - ASIAN'97

Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings

Editors:

  1. R. K. Shyamasundar
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. K. Ueda
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1345)

Conference series link(s): ASIAN: Asian Computer Science Conference

Conference proceedings info: ASIAN 1997.

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (37 papers)

  1. Front Matter

    PDF

  3. Medical image analysis and simulation

    • Nicholas Ayache
    Pages 4-17

  5. Rules for abstraction

    • Stephan Merz
    Pages 32-45

  7. Rules for trace consistent reasoning

    • R. Ramanujam
    Pages 57-71

  8. Sensitivity analysis of real-time task sets

    • Sasikumar Punnekkat, Rob Davis, Alan Burns
    Pages 72-82

  9. Dynamic multiprocessor scheduling for supporting real-time constraints

    • Shin-Mu Tseng, Y. H. Chin, Wei-Pang Yang
    Pages 83-97

  10. Heuristic Diff Acquiring in lazy release consistency model

    • Zhiyi Huang, Wan-Ju Lei, Chengzheng Sun, Abdul Sattar
    Pages 98-109

  11. Representation of discretely controlled continuous systems in software-oriented formal analysis

    • Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio
    Pages 110-120

  12. A generalised framework for reasoning with multi-point events

    • R. Wetprasit, A. Sattar, L. Khatib
    Pages 121-135

  13. Implementing constraint retraction for finite domains

    • Yan Georget, Philippe Codognet, Francesca Rossi
    Pages 136-150

  14. INSTANCE: The intermediate storage node concept

    • Thomas Plagemann, Vera Goebel
    Pages 151-165

  15. Checking hybrid automata for linear duration invariants

    • Li Xuandong, Dang Van Hung, Zheng Tao
    Pages 166-180

  16. Hierarchical automata as model for statecharts

    • Erich Mikk, Yassine Lakhnechi, Michael Siegel
    Pages 181-196

  17. Proof discovery in LK system by analogy

    • Masateru Harao
    Pages 197-211

  18. Efficient induction of executable logic programs from examples

    • Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh
    Pages 212-224

  19. Automated verification of behavioural properties of prolog programs

    • B. Le Charlier, C. Leclère, S. Rossi, A. Cortesi
    Pages 225-238
Back to top

Other Volumes

  1. Advances in Computing Science — ASIAN'97

Back to top

About this book

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation