Concurrency and Parallelism, Programming, Networking, and Security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2 - 5, 1996, Proceedings. 1st ed. 1996

種類:

電子ブック

責任表示:

edited by Joxan Jaffar, Roland H.C. Yap

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996

著者名:

• Jaffar, Joxan.
• Yap, Roland H.C.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 1179

ISBN:

9783540496267 [3540496262]    

注記:

Randomized parallel list ranking for distributed memory multiprocesors -- Suffix arrays for multiple strings: A method for on-line multiple string searches -- Relations among parallel and sequential computation models -- The expressive power of “possible-is-certain” semantics -- Using stochastic methods to guide search in CLP: A preliminary report -- Backtrackable state with linear affine implication and Assumption Grammars -- Declarative debugging in constraint logic programming -- An improved logging and checkpointing scheme for recoverable distributed shared memory -- Distributed concurrency control in real-time cooperative editing systems -- Variable timestamp-based distributed deadlock detection and resolution -- Lambda-definable term rewriting systems -- Sets as anti-chains -- A typed Lambda Calculus of Objects -- Intensionality versus extensionality and Primitive Recursion -- On the bounded theories of finite trees -- Broadcasting in star graphs with Byzantine failures -- Blind threshold signatures bas
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.

ローカル注記:

学内専用E-BOOKS (local access only)