Skip to main content
SpringerLink
Log in

Concurrency and Parallelism, Programming, Networking, and Security

Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2 - 5, 1996, Proceedings

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Joxan Jaffar
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Roland H. C. Yap
    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 1179)

Included in the following conference series:

Conference proceedings info: ASIAN 1996.

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 (49 papers)

  1. Front Matter

    Download chapter PDF

  2. Randomized parallel list ranking for distributed memory multiprocesors

    • Frank Dehne, Siang W. Song
    Pages 1-10

  3. Suffix arrays for multiple strings: A method for on-line multiple string searches

    • Fei Shi
    Pages 11-22

  4. Relations among parallel and sequential computation models

    • Heribert Vollmer
    Pages 23-32

  5. The expressive power of “possible-is-certain” semantics

    • Sergio Greco, Domenico Saccà
    Pages 33-42

  6. Using stochastic methods to guide search in CLP: A preliminary report

    • J. H. M. Lee, H. F. Leung, P. J. Stuckey, V. W. L. Tam, H. W. Won
    Pages 43-52

  7. Backtrackable state with linear affine implication and Assumption Grammars

    • Paul Tarau, Veronica Dahl, Andrew Fall
    Pages 53-63

  8. Declarative debugging in constraint logic programming

    • Alexandre Tessier
    Pages 64-73

  9. An improved logging and checkpointing scheme for recoverable distributed shared memory

    • Taesoon Park, Sungbok Cho, Heon Y. Yeom
    Pages 74-83

  10. Distributed concurrency control in real-time cooperative editing systems

    • C. Sun, Y. Yang, Y. Zhang, D. Chen
    Pages 84-95

  11. Variable timestamp-based distributed deadlock detection and resolution

    • Hui Wu, Wei-Ngan Chin
    Pages 96-105

  12. Lambda-definable term rewriting systems

    • Sugwoo Byun, Richard Kennaway, Ronan Sleep
    Pages 106-115

  13. Sets as anti-chains

    • Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian
    Pages 116-128

  14. A typed Lambda Calculus of Objects

    • Luigi Liquori, Giuseppe Castagna
    Pages 129-141

  15. Intensionality versus extensionality and Primitive Recursion

    • Pierre Valarcher
    Pages 142-151

  16. On the bounded theories of finite trees

    • Sergei Vorobyov
    Pages 152-161

  17. Broadcasting in star graphs with Byzantine failures

    • Yukihiro Hamada, Aohan Mei, Feng Bao, Yoshihide Igarashi
    Pages 162-171

  18. Blind threshold signatures based on discrete logarithm

    • Wen-Shenq Juang, Chin-Laung Lei
    Pages 172-181

  19. Computation of the k-error linear complexity of binary sequences with period 2n

    • Takayasu Kaida, Satoshi Uehara, Kyoki Imamura
    Pages 182-191

  20. Symbolic rights and vouchers for access control in distributed object systems

    • Vincent Nicomette, Yves Deswarte
    Pages 192-203
Back to top

Other volumes

  1. Concurrency and Parallelism, Programming, Networking, and Security

  2. Coordination Technology for Collaborative Applications

Keywords

About this book

This book constitutes the refereed proceedings of the Second Asian Conference on Computing Science, ASIAN'96, held in Singapore in December 1996.
The volume presents 31 revised full papers selected from a total of 169 submissions; also included are three invited papers and 14 posters. The papers are organized in topical sections on algorithms, constraints and logic programming, distributed systems, formal systems, networking and security, programming and systems, and specification and verification.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation