Author:
Chakraborty Supratik,Dill David L.,Yun Kenneth Y.
Publisher
Springer Science and Business Media LLC
Reference45 articles.
1. Alur R, Henzinger T A 1992 Logics and models of real-time: A survey. InReal time: Theory in practice. Lecture Notes in Computer Science #600 (eds) J W de Bakker, K Huizing, W P de Roever, G Rosenberg (Berlin: Springer-Verlag) pp. 74–106
2. Amon T 1993Specification, simulation and verification of timing behavior. Ph D thesis, University of Washington, Seattle, WA
3. Amon T, Borriello G 1992 An approach to symbolic timing verification. InProceedings of the ACM/IEEE Design Automation Conference (Los Alamitos, CA: IEEE Comput. Soc. Press) pp. 410–413
4. Amon T, Hulgaard H 1999 Symbolic time separation of events. InProceedings of International Symposium on Advanced Research in Asynchronous Circuits and Systems (Los Alamitos, CA: IEEE Comput. Soc. Press) pp 83–93
5. Amon T, Hulgaard H, Borriello G, Burns S 1992 Timing analysis of concurrent systems. Tech. Rep. UW-CS-TR-92-11-01, University of Washington, Seattle, WA
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Fast Timing Separation of Events Algorithm for Concurrent Systems;2019 Panhellenic Conference on Electronics & Telecommunications (PACET);2019-11
2. Exact Timing Analysis for Asynchronous Systems;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2018-01
3. References;Distillation Troubleshooting;2010-08-25
4. Time separations of cyclic event rule systems with min–max timing constraints;Theoretical Computer Science;2008-11
5. Time Separation of Events: An Inverse Method;Electronic Notes in Theoretical Computer Science;2008-04