Search results for "Grace Tsai"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Grace Tsai, Changhai Xu, Jingen Liu, Benjamin Kuipers	Real-time indoor scene understanding using Bayesian filtering with motion cues.	ICCV	2011	DBLP DOI BibTeX RDF
1	Shuhua Wang, Grace Tsai	Specification and Timing Analysis of Real-Time Systems.	Real-Time Systems	2004	DBLP DOI BibTeX RDF	functional and timing requirements, real-time systems, specification, schedulability analysis, allocation
1	Grace Tsai, Shuhua Wang	Using Program Transformations to Provide Safety Properties for Real-Time Systems.	Real-Time Systems	2004	DBLP DOI BibTeX RDF	fault tolerance, real time systems, formal methods, temporal logic, program verification, executable assertions
1	Wolfgang A. Halang, Nihal Kececi, Grace Tsai	Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems.	DIPES	2002	DBLP BibTeX RDF
1	Mohamed F. Younis, Thomas J. Marlowe, Alexander D. Stoyen, Grace Tsai	Statically Safe Speculative Execution for Real-Time Systems.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	shadow execution, Real-time systems, distributed computation, static analysis, speculative execution, compiler transformations
1	Mohamed F. Younis, Grace Tsai, Thomas J. Marlowe, Alexander D. Stoyen	Formal Verification of Compiler Transformations for Speculative Real-Time Execution.	Automatica	1998	DBLP DOI BibTeX RDF
1	Mohamed F. Younis, Thomas J. Marlowe, Grace Tsai, Alexander D. Stoyenko	Toward Compiler Optimization of Distributed Real-Time Processes.	ICECCS	1996	DBLP DOI BibTeX RDF
1	Grace Tsai, M. Insall, Bruce M. McMillin	Ensuring the satisfaction of a temporal specification at run-time.	ICECCS	1995	DBLP DOI BibTeX RDF	run-time temporal specification satisfaction, responsive computing system, run-time behavior, trace checking, fully distributed run-time evaluation system, train-set example, distributed system, real-time systems, real-time system, formal specification, temporal logic, distributed processing, software fault tolerance, fault-tolerant systems, interval temporal logic, operational environment
1	Mohamed F. Younis, Grace Tsai, Thomas J. Marlowe, Alexander D. Stoyenko	Using speculative execution for fault tolerance in a real-time system.	ICECCS	1995	DBLP DOI BibTeX RDF	primary-backup approach, timeliness properties, fault tolerance, real-time systems, real-time system, compiler, fault tolerant computing, program compilers, simulation results, speculative execution

Publications of "Grace Tsai" ( http://dblp.L3S.de/Authors/Grace_Tsai )