![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
3. ASIAN 1997: Kathmandu, Nepal
- R. K. Shyamasundar, Kazunori Ueda:
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
Invited Lectures
- 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
Session 1
- 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
Session 2
- 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
Session 3
- 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
Session 4
- 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
Session 5
- 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
Session 6
- 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
Session 7
- 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
Session 8
- 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
Posters
- 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 - Tomohiko Morioka
:
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.