|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas Huining Feng, Edward A. Lee, Lee W. Shruben |
Ptera: an event-oriented model of computation for heterogeneous systems.  |
EMSOFT  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis |
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert E. Strom, Chitra Dorai, Thomas Huining Feng, Wei Zheng |
Deterministic Replay for Transparent Recovery in Component-Oriented Middleware. |
ICDCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler |
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Huining Feng, Edward A. Lee |
Real-Time Distributed Discrete-Event Execution with Fault Tolerance. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2008 |
DBLP DOI BibTeX RDF |
fault tolerance, distributed system, real time, discrete event |
| 1 | Thomas Huining Feng, Miriam Zia, Hans Vangheluwe |
Multi-formalism modelling and model transformation for the design of reactive systems. |
SCSC |
2007 |
DBLP DOI BibTeX RDF |
computer automated multi-paradigm modelling (CAMPaM), modelling and simulation based design, model transformation |
| 1 | Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, Sanjit A. Seshia |
Interactive presentation: Automatic model generation for black box real-time systems. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Huining Feng, Edward A. Lee |
Incremental checkpointing with application to distributed discrete event simulation. |
Winter Simulation Conference |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")