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
- 著者名:
- シリーズ名:
- 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)
類似資料:
Springer New York : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
4
電子ブック
Extensions of the UNITY Methodology : Compositionality, Fairness and Probability in Parallelism
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
11
電子ブック
The Data Parallel Programming Model : Foundations, HPF Realization, and Scientific Applications
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |