Search the dblp DataBase
Grace Tsai :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Mohamed F. Younis , Thomas J. Marlowe , Grace Tsai , Alexander D. Stoyenko Toward Compiler Optimization of Distributed Real-Time Processes. [Citation Graph (0, 0)][DBLP ] ICECCS, 1996, pp:35-42 [Conf ] Mohamed F. Younis , Grace Tsai , Thomas J. Marlowe , Alexander D. Stoyenko Using speculative execution for fault tolerance in a real-time system. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:349-356 [Conf ] Grace Tsai , M. Insall , Bruce M. McMillin Ensuring the satisfaction of a temporal specification at run-time. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:397-404 [Conf ] Wolfgang A. Halang , Nihal Kececi , Grace Tsai Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems. [Citation Graph (0, 0)][DBLP ] DIPES, 2002, pp:153-162 [Conf ] Grace Tsai , Shuhua Wang Using Program Transformations to Provide Safety Properties for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 2004, v:27, n:2, pp:191-207 [Journal ] Shuhua Wang , Grace Tsai Specification and Timing Analysis of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 2004, v:28, n:1, pp:69-90 [Journal ] Mohamed F. Younis , Thomas J. Marlowe , Alexander D. Stoyen , Grace Tsai Statically Safe Speculative Execution for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1999, v:25, n:5, pp:701-721 [Journal ] Search in 0.002secs, Finished in 0.003secs