Treffer 1 - 9 von 9 für Suche 'Feng, Thomas Huining', Suchdauer: 0,44s Treffer weiter einschränken
  1. 1
    Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude

    Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude von Bae, Kyungmin, Ölveczky, Peter Csaba, Feng, Thomas Huining, Lee, Edward A., Tripakis, Stavros

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Automatic Model Generation for Black Box Real-Time Systems

    Automatic Model Generation for Black Box Real-Time Systems von Thomas Huining Feng, Wang, L., Wei Zheng, Sri Kanajan, Seshia, S.A.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems

    Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems von Zou, J., Matic, S., Lee, E.A., Feng, T.H., Derler, P.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Real-Time Distributed Discrete-Event Execution with Fault Tolerance

    Real-Time Distributed Discrete-Event Execution with Fault Tolerance von Feng, T.H., Lee, E.A.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude

    Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude von Bae, Kyungmin, Ölveczky, Peter Csaba, Feng, Thomas Huining, Tripakis, Stavros


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Incremental Checkpointing with Application to Distributed Discrete Event Simulation

    Incremental Checkpointing with Application to Distributed Discrete Event Simulation von Feng, T.H., Lee, E.A.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Incremental checkpointing with application to distributed discrete event simulation

    Incremental checkpointing with application to distributed discrete event simulation von Feng, Thomas Huining, Lee, Edward A.

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Interactive presentation: Automatic model generation for black box real-time systems

    Interactive presentation: Automatic model generation for black box real-time systems von Feng, Thomas Huining, Wang, Lynn, Zheng, Wei, Kanajan, Sri, Seshia, Sanjit A.

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Interactive presentation: Automatic model generation for black box real-time systems

    Interactive presentation: Automatic model generation for black box real-time systems von Feng, Thomas Huining, Wang, Lynn, Zheng, Wei, Sri, Kanajan, Seshia, Sanjit A

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: