Highlights from This Issue
- 期刊名称Pediatric Allergy, Immunology, and Pulmonology
- 作者Farber, Harold J.
- 卷第25卷
- 期第2期
- 印刷ISSN2151-321X
- 电子ISSN2151-3228
- 文件大小53.45KB
- 发表时间2012-06
- DOI10.1089/ped.2012.2310
- 页码49-50
[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
Solving scheduling problems by untimed model checkingAnton J. Wijs; Jaco C. van de Pol; Elena M. Bortnik · 2009
Model checking: recent improvements and applicationsBošnački, Dragan; Wijs, Anton · International Journal on Software Tools for Technology Transfer · 2018
[Lecture Notes in Computer Science] Model Checking Software Volume 9641 ||Bošnački, Dragan; Wijs, Anton · 2016
Parallel probabilistic model checking on general purpose graphics processorsDragan Bošnački; Stefan Edelkamp; Damian Sulewski; Anton Wijs · 2011
Property-dependent reductions adequate with divergence-sensitive branching bisimilarityMateescu, Radu; Wijs, Anton · Science of Computer Programming · 2014
A formal verification technique for behavioural model-to-model transformationsde Putter, Sander; Wijs, Anton · Formal Aspects of Computing · 2018
Dependency safety for Java – Implementing and testing failboxesZhang, Dan; Bošnački, Dragan; van den Brand, Mark; Huizing, Cornelis; Jacobs, Bart; Kuiper, Ruurd; Wijs, Anton · Science of Computer Programming · 2019
Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014)Bošnački, Dragan; Edelkamp, Stefan; Lluch Lafuente, Alberto; Wijs, Anton · Science of Computer Programming · 2016