3. ASIAN 1997: Kathmandu, Nepal

R. K. Shyamasundar, Kazunori Ueda (Eds.): Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings. Lecture Notes in Computer Science 1345 Springer 1997, ISBN 3-540-63875-X BibTeX

@proceedings{DBLP:conf/asian/1997,
  editor    = {R. K. Shyamasundar and
               Kazunori Ueda},
  title     = {Advances in Computing Science - ASIAN '97, Third Asian Computing
               Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings},
  booktitle = {ASIAN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1345},
  year      = {1997},
  isbn      = {3-540-63875-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote Address

Michael O. Rabin: Correctness of Programs and Protocols through Randomization (Extended Abstract). 1-3 BibTeX

Invited Lectures

Nicholas Ayache: Medical Image Analysis and Simulation. 4-17 BibTeX
Randal E. Bryant, Miroslav N. Velev: Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation. 18-31 BibTeX

Session 1

Stephan Merz: Rules for Abstraction. 32-45 BibTeX
Robert Büssow, Wolfgang Grieskamp: Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems. 46-56 BibTeX
Ramaswamy Ramanujam: Rules for Trace Consistent Reasoning. 57-71 BibTeX

Session 2

Sasikumar Punnekkat, Robert I. Davis, Alan Burns: Sensitivity Analysis of Real-Time Task Sets. 72-82 BibTeX
Shin-Mu Tseng, Yeh-Hao Chin, Wei-Pang Yang: Dynamic Multiprocessor Scheduling for Supporting Real-Time Constraints. 83-97 BibTeX
Zhiyi Huang, Wan-Ju Lei, Chengzheng Sun, Abdul Sattar: Heuristic Diff Acquiring in Lazy Release Consistency Model. 98-109 BibTeX

Session 3

Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio: Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis. 110-120 BibTeX
Rattana Wetprasit, Abdul Sattar, Lina Khatib: A Generalized Framework for Reasoning with Multi-Point Events. 121-135 BibTeX
Yan Georget, Philippe Codognet, Francesca Rossi: Implementing Constraint Retraction for Finite Domains. 136-150 BibTeX

Session 4

Thomas Plagemann, Vera Goebel: INSTANCE: The Intermediate Storage Node Concept. 151-165 BibTeX
Xuandong Li, Dang Van Hung, Tao Zheng: Checking Hybrid Automata for Linear Duration Invariants. 166-180 BibTeX
Erich Mikk, Yassine Lakhnech, Michael Siegel: Hierarchical Automata as Model for Statecharts. 181-196 BibTeX

Session 5

Masateru Harao: Proof Discovery in LK System By Analogy. 197-211 BibTeX
Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh: Efficient Induction of Executable Logic Programs from Examples. 212-224 BibTeX
Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi: Automated Verification of Behavioural Properties of Prolog Programs. 225-238 BibTeX

Session 6

Gérard Boudol: Typing the Use of Resources in a Concurrent Calculus (Extended Abstract). 239-253 BibTeX
Paul Roe: An Imperative Language with Read/Write Type Modes. 254-267 BibTeX
Kazuhiko Ohno, Masahiko Ikawa, Masahiro Goshima, Shin-ichiro Mori, Hiroshi Nakashima, Shinji Tomita: Efficient Goal Scheduling in Concurrent Logic Language using Type-Based Dependency Analysis. 268-282 BibTeX

Session 7

Ryu Hasegawa: An Analysis of Divisibility Orderings and Recursive Path Orderings. 283-296 BibTeX
T. B. Dinesh, Susan M. Üsküdarli: Share-Where Maintenance in Visual Algebraic Specifications. 297-311 BibTeX
Satoshi Fujita: A Fault Tolerant Broadcast Scheme in Star Graphs. 312-320 BibTeX

Session 8

Ken-etsu Fujita: Calculus of Classical Proofs I. 321-335 BibTeX
Richard Watson, Eric Salzman: Tracing the Evaluation of Lazy Functional Languages: A Model and its Implementation. 336-350 BibTeX
Yosi Ben-Asher, Esti Stein: Basic Results in Automatic Transformations of Shared Memory Parallel Programs into Sequential Programs. 351-366 BibTeX

Posters

Mauri Kaipainen, Pantelis Papadopoulos, Pasi Karhu: Recurrent Oscillatory Self-organizing Map: Adapting to Complex Environmental Periodicities. 367 BibTeX
Chidchanok Lursinsap, Kanchana Kanchanasut, Thit Siriboon: Basic Binary Decision Diagram Operations for Image Processing. 368-370 BibTeX
Tatsuo Nakajima: Adaptive Object Storage System for Mobile Computing Environments. 371-372 BibTeX
Morioka Tomohiko: Structure of User Interface Module for Practical Internet Messages. 373-374 BibTeX
Mihal Badjonski, Mirjana Ivanovic, Zoran Budimac: Software Specification Using LASS. 375-376 BibTeX
Eiichi Horita, Ken Mano: Nepi²: A Two-Level Calculus for Network Programming Based on the pi-Calculus. 377-378 BibTeX
Man Lin, Jacek Malec, Simin Nadjm-Tehrani: On Semantics of Reactive Rule-Based Systems. 379-380 BibTeX
Jean-Raymond Gagné, John Plaice: The Non-Standard Semantics of Esterel. 381-382 BibTeX
Shigeru Kusakabe, Kentaro Inenaga, Makoto Amamiya: Hybrid Support for Lenient Implementation of Array-Comprehension. 383-384 BibTeX
Mouhssine Bouzoubaa: Solver for Hierarchical CSP Containing Several Constraint Types and Multi-output Constraints. 385-386 BibTeX