1. ASIAN 1995: Pathumthani, Tailand

Kanchana Kanchanasut, Jean-Jacques Lévy (Eds.): Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Tailand, December 11-13, 1995, Proceedings. Lecture Notes in Computer Science 1023 Springer 1995, ISBN 3-540-60688-2

Algorithms

Eliezer A. Albacea:
Leapfrogging Samplesort. 1-9
Leizhen Cai:
Spanning 2-Trees. 10-22
Ming-Yang Kao:
Minimal Linear Invariants. 23-33
Luca Baffi, Rossella Petreschi:
Parallel Maximal Matching on Minimal Vertex Series Parallel Digraphs. 34-47
Tak Wah Lam, Ka Hing Lee:
Efficient Equality-Testing and Updating of Sets. 48-58
Viet Hai Nguyen, Peter Widmayer:
Binary Space Partitions for Sets of Hyperrectangles. 59-72

Sugwoo Byun, Richard Kennaway, M. Ronan Sleep:
Transformation of Orthogonal Term Rewriting Systems. 73-87
Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh:
An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness. 88-102
Milind Gandhe, G. Venkatesh, Amitabha Sanyal:
Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract). 103-110

Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar:
Preemption Primitives in Reactive Languages (A Preliminary Report). 111-125
Wojciech Fraczak:
Multi-Action Process Algebra. 126-140
Alan Mycroft, Pierpaolo Degano, Corrado Priami:
Complexity as a Basis for Comparing Semantic Models of Concurrency. 141-155
N. Raja, R. K. Shyamasundar:
Combinatory Formulations of Concurrent Languages. 156-170
Joachim Niehren, Martin Müller:
Constraints for Free in Concurrent Computation. 171-186
Pankaj Jalote:
Formalizing Inductive Proofs of Message Recovery in Distributed Systems. 187-194
Xinfeng Ye, John A. Keane:
Detecting Distributed Termination in the Presence of Node Failure. 195-209
Feixiong Liu, Thomas Peikenkamp, Werner Damm:
An Extended Gradient Model for NUMA Multiprocessor Systems. 210-224

Shao Dong Chen, Hong Shen, Rodney W. Topor:
Efficient Parallel Permutation-Based Range-Join Algorithms on Mesh-Connected Computers. 225-238
Hongjun Lu, Kian-Lee Tan:
Pipelined Band Join in Shared-Nothing Systems. 239-253

Kimihiro Yamamoto, Shozo Naito, Masaki Itoh:
Inductive Logic Programming Based on Genetic Algorithm. 254-268
Shan-Hwei Nienhuys-Cheng, Ronald de Wolf:
The Equivalence of the Subsumption Theorem and the Refutation-Completeness for Unconstrained Resolution. 269-285
Liem Ngo, Peter Haddawy:
Probabilistic Logic Programming and Bayesian Networks. 286-300
Penny Anderson, David A. Basin:
Deriving and Applying Logic Program Transformers. 301-318
Bo-Ming Tong, Ho-Fung Leung:
Performance of a Data-Parallel Concurrent Constraint Programming System. 319-334

Ramesh Bharadwaj, Amy P. Felty, Frank A. Stomp:
Formalizing Inductive Proofs of Network Algorithms. 335-349
Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan:
TROM - An Object Model for Reactive System Development. 350-364
Philip Chan, Dang Van Hung:
Duration Calculus Specification of Schedulimg for Tasks with Shared Resources. 365-380
Michal Iglewski, Marcin Kubica, Jan Madey:
Trace Specifications of Non-Deterministic Multi-Object Modules. 381-395
Xiaojun Chen, Paola Inverardi, Carlo Montangero:
ESP-MC: An Experiment in the Use of Verification Tools. 396-410

Last update Sat May 18 18:07:57 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page