This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal, in December 1997. The volume presents 24 revised full papers selected from a total of 94 submissions. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations, and 10 posters. Among the areas addressed are programming languages, formal methods, mathematical logic, reasoning and constraints, real-time computing, networking, mobile computing, image processing, hardware verification, and parallel processing.
Author(s): Michael O. Rabin (auth.), R. K. Shyamasundar, K. Ueda (eds.)
Series: Lecture Notes in Computer Science 1345
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1997
Language: English
Pages: 394
Tags: Theory of Computation; Software Engineering/Programming and Operating Systems; Artificial Intelligence (incl. Robotics); Computer Communication Networks; Processor Architectures
Correctness of programs and protocols through randomization....Pages 1-3
Medical image analysis and simulation....Pages 4-17
Verification of pipelined microprocessors by comparing memory execution sequences in symbolic simulation....Pages 18-31
Rules for abstraction....Pages 32-45
Combining Z and temporal interval logics for the formalization of properties and behaviors of embedded systems....Pages 46-56
Rules for trace consistent reasoning....Pages 57-71
Sensitivity analysis of real-time task sets....Pages 72-82
Dynamic multiprocessor scheduling for supporting real-time constraints....Pages 83-97
Heuristic Diff Acquiring in lazy release consistency model....Pages 98-109
Representation of discretely controlled continuous systems in software-oriented formal analysis....Pages 110-120
A generalised framework for reasoning with multi-point events....Pages 121-135
Implementing constraint retraction for finite domains....Pages 136-150
INSTANCE: The intermediate storage node concept....Pages 151-165
Checking hybrid automata for linear duration invariants....Pages 166-180
Hierarchical automata as model for statecharts....Pages 181-196
Proof discovery in LK system by analogy....Pages 197-211
Efficient induction of executable logic programs from examples....Pages 212-224
Automated verification of behavioural properties of prolog programs....Pages 225-238
Typing the use of resources in a concurrent calculus....Pages 239-253
An imperative language with read/write type modes....Pages 254-267
Efficient goal scheduling in a concurrent logic language using type-based dependency analysis....Pages 268-282
An analysis of divisibility orderings and recursive path orderings....Pages 283-296
Share-where maintenance in visual algebraic specifications....Pages 297-311
A fault tolerant broadcast scheme in star graphs....Pages 312-320
Calculus of classical proofs I....Pages 321-335
Tracing the evaluation of lazy functional languages: A model and its implementation....Pages 336-350
Basic results in automatic transformations of shared memory parallel programs into sequential programs....Pages 351-366
Recurrent oscillatory self-organizing map: Adapting to complex environmental periodicities....Pages 367-367
Basic binary decision diagram operations for image processing....Pages 368-370
Adaptive object storage system for mobile computing environments....Pages 371-372
Structure of user interface module for practical internet messages....Pages 373-374
Software specification using LASS ....Pages 375-376
Nepi 2 : a two-level calculus for network programming based on the π-calculus....Pages 377-378
On semantics of reactive rule-based systems....Pages 379-380
The non-standard semantics of Esterel....Pages 381-382
Hybrid support for lenient implementation of Array-comprehension....Pages 383-384
Solver for hierarchical CSP containing several constraint types and multi-output constraints....Pages 385-386
