1000-5137
2010 Issue 5
Class of single step schemes for initial value problems of ordinary differential equations
LI Xiao-hui;YUE Rong-xian
LI Xiao-hui;YUE Rong-xian
..............page:488-493
A comprehensive functional time expansion model generation method for datapaths using controllers
Toshinori Hosokawa;Teppei Hayakawa;Masayoshi Yoshimura
Toshinori Hosokawa;Teppei Hayakawa;Masayoshi Yoshimura
..............page:478-487
Clock signal modulation for IC electromagnetic compatibility
Felipe Lavratti;Leticia Maria Bolzani P(o)hls;Fabian Vargas;Jorge Semi(a)o;Juan Rodríguez-Andina;Isabel Teixeira;Jo(a)o Paulo Teixeira
Felipe Lavratti;Leticia Maria Bolzani P(o)hls;Fabian Vargas;Jorge Semi(a)o;Juan Rodríguez-Andina;Isabel Teixeira;Jo(a)o Paulo Teixeira
..............page:455-461
The physiological response to lead stress of the moss Brachythecium procumbens
ZENG Yuan-yuan;LOU Yu-xia;CAO Tong
ZENG Yuan-yuan;LOU Yu-xia;CAO Tong
..............page:544-550
Interacting high dimensional holographic dark energy
WANG Hua;LIU Dao-jun
WANG Hua;LIU Dao-jun
..............page:530-535
..............page:封3
A new record species of the genus Indoquedius (Coleopteraq:Staphylinidae) from China
LIU Tian-tian;HU Jia-yao;TIAN Mao-xing;LI Li-zhen
LIU Tian-tian;HU Jia-yao;TIAN Mao-xing;LI Li-zhen
..............page:536-538
Three new records of the genus Philonthus(Coleoptera:Staphylinidae:Staphylininae)from China
YUAN Xiao-zhuan;LING Rui-fen;TIAN Mao-xing;HU Jia-yao;LI Li-zhen
YUAN Xiao-zhuan;LING Rui-fen;TIAN Mao-xing;HU Jia-yao;LI Li-zhen
..............page:539-543
Study on insertion point and area of observation circuit for on-chip debug technique
Masayuki Arai;Yoshihiro Tabata;Kazuhiko Iwasaki
Masayuki Arai;Yoshihiro Tabata;Kazuhiko Iwasaki
..............page:448-454
The common approximate solution of variational inclusions and fixed point problems
HUANG Jie;ZENG Lu-chuan
HUANG Jie;ZENG Lu-chuan
..............page:505-510
Pricing of corporate bonds with default correlation in a double-time period
WU Chun-jun;FU Yi;ZHANG Ji-zhou
WU Chun-jun;FU Yi;ZHANG Ji-zhou
..............page:517-523
An approach for verification assertions reuse in RTL test pattern generation
Maksim Jenihhin;Jaan Raik;Raimund Ubar;Taavi Viilukas;Hideo Fujiwara
Maksim Jenihhin;Jaan Raik;Raimund Ubar;Taavi Viilukas;Hideo Fujiwara
..............page:441-447
A fast approximation algorithm for least squares support vector machines
PENG Xin-jun;WANG Yi-fei
PENG Xin-jun;WANG Yi-fei
..............page:494-504
New iterative schemes for finitely many asymptotically pseudocontractive mappings in banach spaces
LAI Xin-xin;ZENG Lu-chuan
LAI Xin-xin;ZENG Lu-chuan
..............page:511-516
Transaction level formal verification using Timed Automata
Amirali Ghofrani;Fatemeh Javaheri;Hamid Noori;Zainalabedin Navabi
Amirali Ghofrani;Fatemeh Javaheri;Hamid Noori;Zainalabedin Navabi
..............page:462-471
On the Friedmann equation in the LTB cosmological model
ZHAO Wei;LI Xin-zhou
ZHAO Wei;LI Xin-zhou
..............page:524-529
Multi Level Test Package A package for C/C++ gate level fault simulation of system level design
Somayeh Sadeghi Kohan;Fatemh Javaheri;Sina Mahmoodi;Zainalabedin Navabi
Somayeh Sadeghi Kohan;Fatemh Javaheri;Sina Mahmoodi;Zainalabedin Navabi
..............page:472-477