Algorithms, Concurrency and Knowledge : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings. 1st ed. 1995

種類:

電子ブック

責任表示:

edited by Kanchana Kanchanasut, Jean-Jacques Levy

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995

著者名:

• Kanchanasut, Kanchana.
• Levy, Jean-Jacques.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 1023

ISBN:

9783540492627 [3540492623]    

注記:

Leapfrogging samplesort -- Spanning 2-trees -- Minimal linear invariants -- Parallel maximal matching on minimal vertex series parallel digraphs -- Efficient equality-testing and updating of sets -- Binary space partitions for sets of hyperrectangles -- Transformation of orthogonal term rewriting systems -- An automaton-driven frame disposal algorithm and its proof of correctness -- Labeled ?-calculus and a generalised notion of strictness -- Preemption primitives in reactive languages -- Multi-action process algebra -- Complexity as a basis for comparing semantic models of concurrency -- Combinatory formulations of concurrent languages -- Constraints for free in concurrent computation -- Formalizing inductive proofs of message recovery in distributed systems -- Detecting distributed termination in the presence of node failure -- An extended gradient model for NUMA multiprocessor systems -- Efficient parallel permutation-based range-join algorithms on mesh-connected computers -- Pipelined band join in shared-
This volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in Pathumthani, Thailand in December 1995. The 29 fully revised papers presented were selected from a total of 102 submissions; clearly the majority of the participating researchers come from South-East Asian countries, but there is also a strong international component. The volume reflects research activities, particularly by Asian computer science researchers, in different areas. Special attention is paid to algorithms, knowledge representation, programming and specification languages, verification, concurrency, networking and distributed systems, and databases.

ローカル注記:

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