Some Synchronization Issues When Designing Embedded Systems from Components
暂无分享,去创建一个
[1] P. Le Guernic,et al. Hybrid dynamical systems theory and the Signal language , 1990 .
[2] Calton Pu,et al. Optimistic incremental specialization: streamlining a commercial operating system , 1995, SOSP.
[3] Albert Benveniste,et al. Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation , 2000, Inf. Comput..
[4] C. Wolinski,et al. A method for the generation of HDL code at the RTL level from a high-level formal specification language , 1997, Proceedings of 40th Midwest Symposium on Circuits and Systems. Dedicated to the Memory of Professor Mac Van Valkenburg.
[5] P. Guernic,et al. Data-flow to Von Neumann : the SIGNAL approach , 1990 .
[6] Alberto L. Sangiovanni-Vincentelli,et al. Theory of latency-insensitive design , 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[7] J. McAffer,et al. Meta-level architecture support for distributed objects , 1995, Proceedings of International Workshop on Object Orientation in Operating Systems.
[8] Paul Caspi,et al. Embedded Control: From Asynchrony to Synchrony and Back , 2001, EMSOFT.
[9] Calton Pu,et al. Fast, optimized Sun RPC using automatic program specialization , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).
[10] Pattie Maes,et al. Concepts and experiments in computational reflection , 1987, OOPSLA '87.
[11] Paul Caspi,et al. Threshold and Bounded-Delay Voting in Critical Control Systems , 2000, FTRTFT.
[12] Benoît Caillaud,et al. From Synchrony to Asynchrony , 1999, CONCUR.