[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - On-the-fly model checking for C programs with extended CADP in FMICS-jETI
- 作者Gallardo, Maria del Mar; Merino, Pedro; Joubert, Christophe; Sanan, David
- 文件大小271.63KB
- 发表时间2007
- DOI10.1109/iceccs.2007.32
- 页码321-329
[IEEE 2005 12th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2005) - Gammarth (2005.12.11-2005.12.14)] 2005 12th IEEE International Conference on Electronics, Circuits and Systems - Configurable logic style translation based on an openaccess engineValentini, E.; Haselwanter, E.; Ulmer, R.; Popp, T. · 2005
[IEEE 2017 IEEE 12th International Conference on ASIC (ASICON) - Guiyang (2017.10.25-2017.10.28)] 2017 IEEE 12th International Conference on ASIC (ASICON) - A fuel injection control SoC for Diesel Engine Management SystemKang, Qinmiao; Xie, Zhifeng; Liu, Yongquan; Zhou, Ming · 2017
[IEEE 2012 IEEE 12th International Conference on Advanced Learning Technologies (ICALT) - Rome, Italy (2012.07.4-2012.07.6)] 2012 IEEE 12th International Conference on Advanced Learning Technologies - Personalized Mobile Learning via an Adaptive EngineTortorella, Richard A.W.; Graf, Sabine · 2012
[IEEE 2011 IEEE International Conference on Data Mining Workshops (ICDMW) - Vancouver, BC, Canada (2011.12.11-2011.12.11)] 2011 IEEE 11th International Conference on Data Mining Workshops - AskUs: An Opinion Search EnginePisal, Shamita; Singh, Japinder; Eirinaki, Magdalini · 2011
[IEEE 2010 IEEE 16th International Conference on Parallel and Distributed Systems (ICPADS) - Shanghai, China (2010.12.8-2010.12.10)] 2010 IEEE 16th International Conference on Parallel and Distributed Systems - A Parallel XPath Engine Based on Concurrent NFA ExecutionZhang, Ying; Pan, Yinfei; Chiu, Kenneth · 2010
[IEEE 2014 IEEE 17th International Conference on Computational Science and Engineering (CSE) - Chengdu, China (2014.12.19-2014.12.21)] 2014 IEEE 17th International Conference on Computational Science and Engineering - A Hardware Acceleration Engine for Ray TracingGao, Yuanyuan; Zhou, Li; Chen, Yanhu; Wang, Yang; Wang, Jia; Sun, Tao · 2014
[IEEE 2016 IEEE 16th International Conference on Data Mining Workshops (ICDMW) - Barcelona, Spain (2016.12.12-2016.12.15)] 2016 IEEE 16th International Conference on Data Mining Workshops (ICDMW) - LSHDB: a parallel and distributed engine for record linkage and similarity searchKarapiperis, Dimitrios; Gkoulalas-Divanis, Aris; Verykios, Vassilios S. · 2016
[IEEE 2013 IEEE 13th International Conference on Data Mining Workshops (ICDMW) - TX, USA (2013.12.7-2013.12.10)] 2013 IEEE 13th International Conference on Data Mining Workshops - "Engine Matters": A First Large Scale Data Driven Study on Cyclists' PerformanceCintia, Paolo; Pappalardo, Luca; Pedreschi, Dino · 2013