Haibo Zeng
Haibo Zeng
Electrical & Computer Engineering, Virginia Tech
Email verificata su vt.edu
TitoloCitata daAnno
Understanding and using the controller area network communication protocol: theory and practice
M Di Natale, H Zeng, P Giusto, A Ghosal
Springer Science & Business Media, 2012
A next-generation design framework for platform-based design
A Davare, D Densmore, T Meyerowitz, A Pinto, A Sangiovanni-Vincentelli, ...
Conference on using hardware design and verification languages (DVCon) 152, 2007
Schedule optimization of time-triggered systems communicating over the FlexRay static segment
H Zeng, M Di Natale, A Ghosal, A Sangiovanni-Vincentelli
IEEE Transactions on Industrial Informatics 7 (1), 1-17, 2010
Stochastic analysis of CAN-based real-time automotive systems
H Zeng, M Di Natale, P Giusto, A Sangiovanni-Vincentelli
IEEE Transactions on Industrial Informatics 5 (4), 388-401, 2009
Optimization of task allocation and priority assignment in hard real-time distributed systems
Q Zhu, H Zeng, W Zheng, MDI Natale, A Sangiovanni-Vincentelli
ACM Transactions on Embedded Computing Systems (TECS) 11 (4), 1-30, 2013
Synthesis of multitask implementations of simulink models with minimum delays
M Di Natale, L Guo, H Zeng, A Sangiovanni-Vincentelli
IEEE Transactions on Industrial Informatics 6 (4), 637-651, 2010
Using statistical methods to compute the probability distribution of message response time in controller area network
H Zeng, M Di Natale, P Giusto, A Sangiovanni-Vincentelli
IEEE Transactions on Industrial Informatics 6 (4), 678-691, 2010
Two-stage energy management for office buildings with workplace EV charging and renewable energy
D Wu, H Zeng, C Lu, B Boulet
IEEE Transactions on Transportation Electrification 3 (1), 225-237, 2017
PT-AMC: integrating preemption thresholds into mixed-criticality scheduling
Q Zhao, Z Gu, H Zeng
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 141-146, 2013
Scheduling the FlexRay bus using optimization techniques
H Zeng, W Zheng, M Di Natale, A Ghosal, P Giusto, ...
Design Automation Conference, 2009. DAC'09. 46th ACM/IEEE, 874-877, 2009
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems
A Mehiaoui, E Wozniak, S Tucci-Piergiovanni, C Mraidha, M Di Natale, ...
Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages …, 2013
An efficient formulation of the real-time feasibility region for design optimization
H Zeng, M Di Natale
IEEE Transactions on Computers 62 (4), 644-661, 2012
Quantity versus quality: Optimal harvesting wind power for the smart grid
F Kong, C Dong, X Liu, H Zeng
Proceedings of the IEEE 102 (11), 1762-1776, 2014
Security-aware mapping and scheduling with hardware co-processors for flexray-based distributed embedded systems
Z Gu, G Han, H Zeng, Q Zhao
IEEE Transactions on parallel and distributed systems 27 (10), 3044-3057, 2016
Design space exploration of automotive platforms in metropolis
H Zeng, A Davare, A Sangiovanni-Vincentelli, S Sonalkar, S Kanajan, ...
Society of Automotive Engineers World Congress, 2005
Timing analysis and optimization of FlexRay dynamic segment
H Zeng, A Ghosal, M Di Natale
2010 10th IEEE International Conference on Computer and Information …, 2010
Minimizing stack and communication memory usage in real-time embedded applications
H Zeng, MD Natale, Q Zhu
ACM Transactions on Embedded Computing Systems (TECS) 13 (5s), 1-25, 2014
HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling
Q Zhao, Z Gu, H Zeng
Embedded Systems Letters, IEEE 6 (1), 8-11, 2014
Mechanisms for guaranteeing data consistency and flow preservation in AUTOSAR software on multi-core platforms
H Zeng, M Di Natale
2011 6th IEEE International Symposium on Industrial and Embedded Systems …, 2011
Schedulability analysis of periodic tasks implementing synchronous finite state machines
H Zeng, M Di Natale
2012 24th Euromicro Conference on Real-Time Systems, 353-362, 2012
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20