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

Keynote Address

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

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

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

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

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

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

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

Gérard Boudol:
Typing the Use of Resources in a Concurrent Calculus (Extended Abstract). 239-253
Paul Roe:
An Imperative Language with Read/Write Type Modes. 254-267
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

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

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

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

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

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