2. ASIAN 1996: Singapore

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

• Sergio Greco, Domenico Saccà:
  The Expressive Power of "Possible-is-Certain" Semantics (Extended Abstract). 33-42
  
• Jimmy Ho-Man Lee, Ho-fung Leung, Peter J. Stuckey, V. W. L. Tam, Hon-Wing Won:
  Using Stochastic Methods to Guide Search in CLP: A Preliminary Report. 43-52
  
• Paul Tarau, Verónica Dahl, Andrew Fall:
  Backtrackable State with Linear Affine Implication and Assumption Grammars. 53-63
  
• Alexandre Tessier:
  Declarative Debugging in Constraint Logic Programming. 64-73
  

Distributed Systems

• Taesoon Park, Sung Bok Cho, Heon Young Yeom:
  An Improved Logging and Checkpointing Scheme for Recoverable Distributed Shared Memory. 74-83
  
• Chengzheng Sun, Yun Yang, Yanchun Zhang, David Chen:
  Distributed Concurrency Control in Real-time Cooperative Editing Systems. 84-95
  
• Hui Wu, Wei-Ngan Chin:
  Variable Timestamp-Based Distributed Deadlock Detection and Resolution. 96-105
  

Formal Systems

• Sugwoo Byun, Richard Kennaway, M. Ronan Sleep:
  Lambda-Definable Term rewriting Systems. 106-115
  
• Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian:
  Sets as Anti-Chains. 116-128
  
• Luigi Liquori, Giuseppe Castagna:
  A Typed Lambda Calculus of Objects (Extended Abstract). 129-141
  
• Pierre Valarcher:
  Intensionality versus Extensionality and Primitive Recursion. 142-151
  
• Sergei G. Vorobyov:
  On the Bounded Theories of Finite Frees. 152-161
  

Networking and Security

• Yukihiro Hamada, Aohan Mei, Feng Bao, Yoshihide Igarashi:
  Broadcasting in Star Graphs with Byzantine Failures. 162-171
  
• Wen-Shenq Juang, Chin-Laung Lei:
  Blind Threshold Signatures Based on Discrete Logarithm. 172-181
  
• Takayasu Kaida, Satoshi Uehara, Kyoki Imamura:
  Computation of the k-Error Linear Complexity of Binary Sequences with Period 2ⁿ. 182-191
  
• Vincent Nicomette, Yves Deswarte:
  Symbolic Rights and Vouchers for Access Control in Distributed Object Systems. 192-203
  
• Zongben Xu, Bo-Ting Yang:
  The Heuristics for the Constrained Multicast Routing. 204-212
  
• Xun Yi:
  On Design and Analysis of a New Block Cipher. 213-222
  

Programming and Systems

• Tzilla Elrad, Baoling Sheen, Novak V. Nastasic:
  CHESSBOARD: A Synergy of Object-Oriented Concurrent Programming and Program Layering. 223-233
  
• Gabriele Keller, Martin Simons:
  A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages. 234-243
  
• Rafael Ramirez:
  Concurrent Object-Oriented Programming in Tempo++. 244-253
  
• Olin Shivers:
  A Universal Scripting Framework or Lambda: The Ultimate "Little Language". 254-265
  
• Markus Theißinger:
  Design and Application of a Light-Weight Persistency Mechanism. 266-275
  

Specification and Verification

• Anca Browne, Zohar Manna, Henny Sipma:
  Hierarchical Verification Using Verification Diagrams. 276-286
  
• Issam A. Hamid, Ferhat Khendek:
  A Dynamic Evolution for the Specifications of Distributed Systems. 287-298
  
• Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani:
  Formal Verification and Evaluation of Execution Time in the Envelope Theory. 299-308
  
• Rupak Majumdar, R. K. Shyamasundar:
  Design of Controllers for Linear Hybrid Systems. 309-320
  
• Xuandong Li, Dang Van Hung:
  Checking Linear Duration Invariants by Linear Programming. 321-332
  

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

• Jean-Chrysostome Bolot:
  End-to-End Behavior to the INternet: Measurements, Analysis, and Applications. 362-376
  
• Gert Smolka:
  The Oz Programming Language and System (Abstract). 377
  
• J. D. Tygar, Bennet S. Yee, Nevin Heintze:
  Cryptographic Postage Indicia. 378-391
  

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