Symbolic execution of concurrent systems using Petri nets
- 作者Carlo Ghezzi; Dino Mandrioli; Sandro Morasca; Mauro Pezzè
- 卷第14卷
- 期第4期
- 印刷ISSN0096-0551
- 文件大小1325.87KB
- 发表时间1989
- DOI10.1016/0096-0551(89)90023-4
- 页码263-281
Efficient packet combining based on packet-level codingLin, D.; Xiao, M.; Xiao, Y.; Li, S. · Electronics Letters · 2011
An Efficient Hierarchical Video Coding Scheme Combining Visual Perception CharacteristicsLiu, Pengyu; Jia, Kebin · The Scientific World Journal · 2014
An efficient detector for combined space-time coding and layered processingDai, L.; Sfar, S.; Letaief, K.B. · 2005
Efficient combination of polynomial time algorithm and subtree decomposition for network codingMorgan, Yasser; Liu, Yantao · IET Communications · 2015
Efficient multiple description scalable video coding scheme based on weighted signal combinationsZhao, Anbang; Wang, Wensheng; Cui, Huijuan; Tang, Kun · 2007
High-speed power-efficient indoor wireless infrared communication using code combining .IAkhavan, K.; Kavehrad, M.; Jivkova, S. · 2002
High-speed power-efficient indoor wireless infrared communication using code combining .IIAkhavan, K.; Kavehrad, M.; Jivkova, S. · 2002