2. ASIAN 1996:
Singapore
Joxan Jaffar, Roland H. C. Yap (Eds.):
Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings.
Lecture Notes in Computer Science 1179 Springer 1996, ISBN 3-540-62031-1
Algorithms
- Frank K. H. A. Dehne, Siang W. Song:
Randomized Parallel List Ranking for Distributed Memory Multiprocessors.
1-10

- Fei Shi:
Suffix Arrays for Multiple Strings: A Method for On-Line Multiple String Searches.
11-22

- Heribert Vollmer:
Relations Among Parallel and Sequential Computation Models.
23-32

Constraints and Logic Programming
Distributed Systems
Formal Systems
Networking and Security
Programming and Systems
Specification and Verification
Posters
- Michael Carl:
Conjunctive Vector Representations for Set Valued Feature Descriptions.
333-334

- Vijay Chandru, Suman Roy, Ramesh Subrahmanyam:
Constructive Negation in Definite Constraint Logic Programs.
335-336

- Hsin-Chu Chen, Alvin S. Lim, Nazir A. Warsi:
Multilevel Master-Slave Parallel Programming Models.
337-338

- Shaw-Cheng Chuang:
Improving the X.509 Protocol for ATM Networks.
339-340

- Chan Fang Khoon, James Seng, L.-S. Ooi, J.-K. Tan, Kevin Mok, Tin Wee Tan:
InterMUD Communications (IMC) Protocol with Extensions to VRMLise MultiUser Domains (MUDs).
341-342

- Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima:
ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract).
343-344

- Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh:
Constructing More Relevant Models.
345-346

- Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio:
Formal Analysis for Continous Systems Controlled by Programs.
347-348

- Shigeru Kusakabe, Kentaro Inenaga, Kiyotoshi Nishimura, Makoto Amamiya:
Implementation Tuning of a Dataflow Language on a Stock Parallel Machine with Visualization Tools.
349-350

- Arthur Li, Omran A. Bukhres:
Overall System for Secure Wireless Mobile Networks.
351-352

- Mukesh K. Mohania, Guozhu Dong:
Materialized View Adaption in Distributed Databases.
353-354

- E. Ravindran, S. C. Hui:
Coupling Object Orientation & Deduction - A Modelling Perspective.
355-356

- John Thornton, Abdul Sattar:
An Integer Programming-Based Nurse Rostering System.
357-358

- Razvan Voicu:
Synthesizing Parallel Divide-and-Coquer Algorithms Using the List Interleave Operator.
359-360

Keynote Lecture
- David Harel:
Some Thoughts on Statecharts, 13 Years Later (Abstract).
361

Invited Lectures
Last update Sat May 25 23:59:52 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page