Archive
Results
Showing: 1 to 4 of 4Affiliation shown is the affiliation at the time the talk was given.
02/15/2023
Chinese Views of Information and Future Warfare
Dean Cheng - Potomac Institute for Policy Studies
03/28/2007
Automatic Debugging and Verification of RTL-Specified Real-Time Systems via Incremental Satisfiability Counting and On-Time and Scalable Intrusion Detection in Embedded Systems
Dr. Albert M. K. Cheng - University of Houston
03/01/2023
Elements of Robust Real-Time Systems: Regularity-Based Virtualization and Functional Reactive Programming
Albert Cheng - University of Houston