|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nan Guan, Mingsong Lv, Wang Yi, Ge Yu |
WCET Analysis with MRU Caches: Challenging LRU for Predictability.  |
IEEE Real-Time and Embedded Technology and Applications Symposium  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi |
McAiT - A Timing Analyzer for Multicore Real-Time Software. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi |
Static worst-case execution time analysis of the µC/OS-II real-time kernel. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Jin, Nan Guan, Mingsong Lv, Qingxu Deng |
Improving the Performance of Shared Memory Communication in Impulse C. |
Embedded Systems Letters |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsong Lv, Wang Yi, Nan Guan, Ge Yu |
Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software. |
RTSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsong Lv, Nan Guan, Yi Zhang, Rui Chen, Qingxu Deng, Ge Yu, Wang Yi |
WCET Analysis of the mC/OS-II Real-Time Kernel. |
CSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsong Lv, Nan Guan, Yi Zhang, Qingxu Deng, Ge Yu, Jianming Zhang |
A Survey of WCET Analysis of Real-Time Operating Systems. |
ICESS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsong Lv, Ying Guo, Nan Guan, Qingxu Deng |
RTNoC: A Simulation Tool for Real-Time Communication Scheduling on Networks-on-Chips. |
CSSE |
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 | 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 | Mingsong Lv, Qingxu Deng, Nan Guan, Yaming Xie, Ge Yu |
ARMISS: An Instruction Set Simulator for the ARM Architecture. |
ICESS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nan Guan, Mingsong Lv, Qingxu Deng, Ge Yu |
A Real-Time Scheduling Algorithm with Buffer Optimization for Embedded Signal Processing Systems. |
AINA Workshops |
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 | Qingxu Deng, Mingsong Lv, Ge Yu |
Selecting a Scheduling Policy for Embedded Real-Time Monitor and Control Systems. |
ICESS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Wang, Ge Yu, Mingsong Lv, Baoyan Song, Derong Shen, Guoren Wang |
An Ant Algorithm Based Dynamic Routing Strategy for Mobile Agents. |
APWeb |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")