Ausgabe 3/2003
Inhalt (18 Artikel)
Regular Papers
An admission control scheme for end-to-end statistical QoS provision in IP networks
Bin Pang, HuaiRong Shao, Wen Gao
Regular Papers
Stability analysis of buffer priority scheduling policies using Petri nets
Chuang Lin, MingWei Xu
Regular Papers
I DDT: Fundamentals and test generation
Jishun Kuang, ZhiQiang You, QiJian Zhu, YingHua Min
Regular Papers
A novel RTL behavioral description based ATPG method
ZhiGang Yin, YingHua Min, XiaoWei Li, HuaWei Li
FaSa: A fast and stable quadratic placement algorithm
WenTing Hou, XianLong Hong, WeiMin Wu, Yici Cai
Regular Papers
Power minimization of FPRM functions based on polarity conversion
YinShui Xia, XunWei Wu, A. E. A. Almaini
Regular Papers
Inferring solids composed of linear and quadratic surfaces from incomplete three views
Chao Yuyan, He Lifeng, Itoh Hidenori
Correspondence
A context-aware infrastructure for supporting applications with pen-based interaction
Yang Li, ZhiWei Guan, GuoZhong Dai, XiangShi Ren, Yong Han
Correspondence
A new dynamical evolutionary algorithm based on statistical mechanics
YuanXiang Li, XiuFen Zou, LiShan Kang, Michalewicz Zbigniew
Correspondence
Dynamic retransmission control for reliable mobile multicast
Yu Lin, HaiTao Wu, ChongGang Wang, Cheng ShiDuan
Notes
Fast algorithms for revision of some special propositional knowledge bases
Luan ShangMin, GuoZhong Dai
Notes
Managing very large document collections using semantics
GuoRen Wang, HongJun Lu, Ge Yu, Bin YuBao
Notes
PHC: A fast partition and hierarchy-based clustering algorithm
HaoFeng Zhou, QingQing Yuan, ZunPing Cheng, BaiLe Shi