|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 20 occurrences of 15 keywords
|
|
|
|
|
Results
Found 48 publication records. Showing 48 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jiayin Li, Meikang Qiu, Zhong Ming, Gang Quan, Xiao Qin, Zonghua Gu |
Online optimization for scheduling preemptable tasks on IaaS cloud systems.  |
J. Parallel Distrib. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu, Zhu Wang, Shijian Li, Haibin Cai |
Design and Implementation of an Automotive Telematics Gateway Based on Virtualization. |
ISORC Workshops |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Weichen Liu, Zonghua Gu, Jiang Xu, Xiaowen Wu, Yaoyao Ye |
Satisfiability Modulo Graph Theory for Task Mapping and Scheduling on Multiprocessor Systems. |
IEEE Trans. Parallel Distrib. Syst. |
2011 |
DBLP DOI BibTeX RDF |
scheduling, Multiprocessor, satisfiability, design space exploration |
| 1 | Nan Guan, Wang Yi, Qingxu Deng, Zonghua Gu, Ge Yu |
Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling. |
Journal of Systems Architecture - Embedded Systems Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Rao, Xue Liu, Zonghua Gu, Wenyu Liu |
HRS: A Hierarchical Routing and Scheduling Scheme for Distributed Real-Time and Embedded Systems. |
Ad Hoc & Sensor Wireless Networks |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ming Zhang, Zonghua Gu |
Optimization issues in mapping AUTOSAR components to distributed multithreaded implementations. |
International Symposium on Rapid System Prototyping |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingxuan Yuan, Zonghua Gu, Xiuqiang He, Xue Liu, Lei Jiang |
Hardware/software partitioning and pipelined scheduling on runtime reconfigurable FPGAs. |
ACM Trans. Design Autom. Electr. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianguo Yao, Xue Liu, Zonghua Gu, Xiaorui Wang, Jian Li |
Online adaptive utilization control for real-time embedded multiprocessor systems. |
Journal of Systems Architecture - Embedded Systems Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaorui Wang, Xing Fu, Xue Liu, Zonghua Gu |
PAUC: Power-Aware Utilization Control in Distributed Real-Time Systems. |
IEEE Trans. Industrial Informatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Xia, Yongxin Zhu, Jun Yang, Jingwei Ye, Zonghua Gu |
Implementing a Thermal-Aware Scheduler in Linux Kernel on a Multi-Core Processor. |
Comput. J. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiuqiang He, Zonghua Gu, Yongxin Zhu |
Task Allocation and Optimization of Distributed Embedded Systems with Simulated Annealing and Geometric Programming. |
Comput. J. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu, Weichen Liu, Jiang Xu, Jin Cui, Xiuqiang He, Qingxu Deng |
Efficient algorithms for 2D area management and online task placement on runtime reconfigurable FPGAs. |
Microprocessors and Microsystems - Embedded Hardware Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Weichen Liu, Zonghua Gu, Jiang Xu |
Efficient Software Synthesis for Dynamic Single Appearance Scheduling of Synchronous Dataflow. |
Embedded Systems Letters |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nan Guan, Zonghua Gu, Wang Yi, Ge Yu |
Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs. |
ASP-DAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaorui Wang, Xing Fu, Xue Liu, Zonghua Gu |
Power-Aware CPU Utilization Control for Distributed Real-Time Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Weichen Liu, Zonghua Gu, Jiang Xu, Yu Wang 0002, Mingxuan Yuan |
An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking. |
CODES+ISSS |
2009 |
DBLP DOI BibTeX RDF |
scheduling, optimization, model checking, memory management, synchronous dataflow |
| 1 | Wei Hu, Yongxin Zhu, Zonghua Gu, Lei Jiang |
Pre-synthesis resource generation and estimation for transport-triggered architecture (TTA)-like architecture. |
Microprocessors and Microsystems - Embedded Hardware Design |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nan Guan, Qingxu Deng, Zonghua Gu, Wenyao Xu, Ge Yu |
Schedulability analysis of preemptive and nonpreemptive EDF on partial runtime-reconfigurable FPGAs. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
reconfigurable devices, FPGA, Real-time scheduling |
| 1 | Xiuqiang He, Mingxuan Yuan, Zonghua Gu |
A Hierarchical Framework for Design Space Exploration and Optimization of TTP-Based Distributed Embedded Systems. |
IEEE Trans. Industrial Informatics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nan Guan, Zonghua Gu, Mingsong Lv, Qingxu Deng, Ge Yu |
Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
Schedulability, real-time scheduling, symbolic model-checking |
| 1 | Nan Guan, Wang Yi, Zonghua Gu, Qingxu Deng, Ge Yu |
New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms. |
IEEE Real-Time Systems Symposium |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Weihuan Shu, Xue Liu, Zonghua Gu, Sathish Gopalakrishnan |
Optimal Sampling Rate Assignment with Dynamic Route Selection for Real-Time Wireless Sensor Networks. |
IEEE Real-Time Systems Symposium |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Weichen Liu, Mingxuan Yuan, Xiuqiang He, Zonghua Gu, Xue Liu |
Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization. |
IEEE Real-Time Systems Symposium |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsong Lv, Zonghua Gu, Nan Guan, Qingxu Deng, Ge Yu |
Performance Comparison of Techniques on Static Path Analysis of WCET. |
EUC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingxuan Yuan, Xiuqiang He, Zonghua Gu |
Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianguo Yao, Xue Liu, Mingxuan Yuan, Zonghua Gu |
Online adaptive utilization control for real-time embedded multiprocessor systems. |
CODES+ISSS |
2008 |
DBLP DOI BibTeX RDF |
multiprocessors, real-time scheduling, feedback control |
| 1 | Nan Guan, Zonghua Gu, Qingxu Deng, Weichen Liu, Ge Yu |
Improved Schedulability Analysis of EDF Scheduling on Reconfigurable Hardware Devices. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jogesh K. Muppala, Zonghua Gu, S. C. Cheung |
Teaching embedded systems software: The HKUST experience. |
ICPADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu, Xiuqiang He, Mingxuan Yuan |
Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Cui, Zonghua Gu, Weichen Liu, Qingxu Deng |
An Efficient Algorithm for Online Soft Real-Time Task Placement on Reconfigurable Hardware Devices. |
ISORC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu |
Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking. |
RTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nan Guan, Zonghua Gu, Qingxu Deng, Shuaihong Gao, Ge Yu |
Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking. |
SEUS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Cui, Qingxu Deng, Xiuqiang He, Zonghua Gu |
An efficient algorithm for online management of 2D area of partially reconfigurable FPGAs. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu, Qingxu Deng |
QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution. |
SEKE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Xianli Jin, Huadong Ma, Zonghua Gu |
Real-Time Component Composition Using Hierarchical Timed Automata. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
hierarchical timed automata, real-time, component, labeled transition systems |
| 1 | Zonghua Gu, Mingxuan Yuan, Xiuqiang He |
Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu, Kang G. Shin |
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software. |
ISORC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu, Kang G. Shin |
Synthesis of Real-Time Implementations from Component-Based Software Models. |
RTSS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu, Zhimin He |
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models. |
CBSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu |
Timing Analysis of Distributed End-to-End Task Graphs with Model-Checking. |
EUC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu |
Solving Real-Time Scheduling Problems with Model-Checking. |
ICESS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Shin |
Multi-View Modeling and Analysis of Embedded Real-Time Software with Meta-Modeling and Model Transformation. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu, Kang G. Shin |
Integrated Modeling and Analysis of Computer-Based Embedded Control Systems. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Shin |
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software. |
RTSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu, Kang G. Shin |
An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Net. |
ICDCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu, Sharath Kodase, Shige Wang, Kang G. Shin |
A Model-Based Approach to System-Level Dependency and Real-Time Analysis of Embedded Software. |
IEEE Real Time Technology and Applications Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharath Kodase, Shige Wang, Zonghua Gu, Kang G. Shin |
Improving Scalability of Task Allocation and Scheduling in Large Distributed Real-Time Systems Using Shared Buffers. |
IEEE Real Time Technology and Applications Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu, Kang G. Shin |
Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
Displaying result #1 - #48 of 48 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")