Skip to main content
SpringerLink
Log in

Advances in Computing Science - ASIAN'97

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

  • Conference proceedings
  • © 1997

Overview

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)

Included in the following conference series:

Conference proceedings info: ASIAN 1997.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (37 papers)

  1. Front Matter

    Download chapter PDF

  2. Correctness of programs and protocols through randomization

    • Michael O. Rabin
    Pages 1-3

  3. Medical image analysis and simulation

    • Nicholas Ayache
    Pages 4-17

  4. Verification of pipelined microprocessors by comparing memory execution sequences in symbolic simulation

    • Randal E. Bryant, Miroslav N. Velev
    Pages 18-31

  5. Rules for abstraction

    • Stephan Merz
    Pages 32-45

  6. Combining Z and temporal interval logics for the formalization of properties and behaviors of embedded systems

    • Robert Büssow, Wolfgang Grieskamp
    Pages 46-56

  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

  20. Typing the use of resources in a concurrent calculus

    • Gérard Boudol
    Pages 239-253
Back to top

Other volumes

  1. Advances in Computing Science — ASIAN'97

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation