Advances in computing science - ASIAN 2000. 6th Asian computing science conference, Penang, Malaysia, November 25--27, 2000. Proceedings
type: Item
instance of: scholarly article
title: Advances in computing science - ASIAN 2000. 6th Asian computing science conference, Penang, Malaysia, November 25--27, 2000. Proceedings
zbMATH Open document ID: 0953.00041
published in: Lecture Notes in Computer Science
publication date: 2001-01-10T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. The preceding conference (5th, 1999) has been reviewed (see Zbl 0931.00045). Indexed articles: \textit{Vuillemin, Jean}, Finite digital synchronous circuits are characterized by 2-algebraic truth tables, 1-12 [Zbl 0987.94049] \textit{Jean-Marie, Alain}, Performance evaluation of networks: New problems and challenges, 13-14 [Zbl 0988.68731] \textit{Li, Jinyan; Ramamohanarao, Kotagiri; Dong, Guozhu}, Emerging patterns and classification, 15-32 [Zbl 0988.68552] \textit{Ettikan, K.; Ganapathy, V.}, IPv6 performance analysis on FreeBSD workstation using simple applications, 33-42 [Zbl 0988.68707] \textit{Lee, DongChun; Kim, JeomGoo; Song, JooSeok}, Performance of location caching scheme to support call locality in wireless networks, 43-57 [Zbl 0988.68777] \textit{Park, Chong-Won; Han, Young-Yearl}, A practical parity scheme for tolerating triple disk failures in RAID architectures, 58-68 [Zbl 0988.68779] \textit{Din, Der-Rong; Tseng, Shian-Shyong; Jiang, Mon-Fong}, Genetic algorithm for extended cell assignment problem in wireless ATM network, 69-87 [Zbl 0988.68699] \textit{Dal Zilio, Silvano}, Spatial congruence for ambients is decidable, 88-103 [Zbl 0987.68048] \textit{Shim, Choon-Bo; Chang, Jae-Woo}, A spatio-temporal representation scheme for modeling moving objects in video data, 104-118 [Zbl 0988.68765] \textit{Kaneko, Keiichi; Suzuki, Yasuto}, Node-to-set disjoint paths problem in rotator graphs, 119-132 [Zbl 0987.68053] \textit{Kučera, Antonín}, On simulation-checking with sequential systems, 133-148 [Zbl 0987.68045] \textit{Huang, Zhiyong; Jiao, Binjia; Prabhakaran, B.; Ruiz, Conrado R. jun.}, Reusing animations in databases for multimedia presentations, 149-161 [Zbl 0988.68738] \textit{Verma, Kumar Neeraj; Goubault-Larrecq, Jean; Prasad, Sanjiva; Arun-Kumar, S.}, Reflecting BDDs in Coq, 162-181 [Zbl 0988.68600] \textit{Leucker, Martin}, On model checking synchronised hardware circuits, 182-198…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1550311
zbMATH Keywords: Penang (Malaysia)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: ASIAN 2000
zbMATH Keywords: Computing science
describes a project that uses: Coq
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1550311