Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 2000 : proceedings /
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
2000.
|
| Series: | Lecture notes in computer science ;
1961. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Finite digital synchronous circuits are characterized by 2-algebraic truth tables / Jean Vuillemin
- Performance evaluation of networks: new problems and challenges / Alain Jean-Marie
- Emerging patterns and classification / Jinyan Li, Kotagiri Ramamohanarao, Guozhu Dong
- IPv6 performance analysis on freeBSD workstation using simple applicaitons / K. Ettikan, V. Ganapathy
- Performance of location caching scheme to support call locality in wireless networks / DongChun Lee, JeomGoo Kim, JooSeok Song
- Practical parity scheme for tolerating triple disk failures in RAID architectures / Chong-Won Park, Young-Yearl Han
- Genetic algorithm for extended cell assignment problem in wireless ATM network / Der-Dong Din, Shian-Shyong Tseng, Mon-FOng Jiang
- Spatial congruence for ambients is decidable / Silvano Dal Zilio
- Spatio-temporal representation scheme for modeling moving objects in video data / Choon-Bo Shim, Jae-Woo Chang
- Node-to-set disjoint paths problem in rotator graphs / Keiichi Kaneko and Yasuto Suzuki
- On simulation-checking with sequential systems / Antonń Kučera
- Reusing animations in databases for multimedia presentations / Zhiyong Huang ... [et al.]
- Reflecting BDDs in Coq / Kumar Neeraj ... [et al.]
- On model checking synchronised hardware circuits / Martin Leucker
- Safe ambients: control flow analysis and security / Pierpaolo Degano, Francesca Levi, Chiare Bodei
- security types for mobile safe ambients / M. Dezani-Ciancaglini, I. Salvo
- Improving functional logic programs by difference-lists / Elvira Albert ... [et al.]
- New multihop logical topology for reliable broadband communication / U. Bhattacharya, R. Chaki
- New scalable topology for multihop optical networks / U. Bhattacharya, R. Chaki
- On computable tree functions / Masahiro Kimoto, Masako Takahashi
- Sharpening the undecidability of interval temporal logic / Kamal Lodaya.