A case study for monitoring-oriented programming in multi-core architecture
暂无分享,去创建一个
[1] Lubos Brim,et al. Scalable Multi-core LTL Model-Checking , 2007, SPIN.
[2] Wolfgang Schröder-Preikschat,et al. AspectC++: an aspect-oriented extension to the C++ programming language , 2002 .
[3] Dragan Bosnacki,et al. The Design of a Multicore Extension of the SPIN Model Checker , 2007, IEEE Transactions on Software Engineering.
[4] Grigore Rosu,et al. Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation , 2003, RV@CAV.
[5] Gregor Kiczales,et al. Aspect-oriented programming , 2001, ESEC/FSE-9.
[6] Grigore Rosu,et al. Mop: an efficient and generic runtime verification framework , 2007, OOPSLA.
[7] Chen Tianzhou,et al. Design and Analyze the Communication in the Multi-Core Soc Driven by Petri Net , 2007, Third International Conference on Autonomic and Autonomous Systems (ICAS'07).
[8] Grigore Rosu,et al. Java-MOP: A Monitoring Oriented Programming Environment for Java , 2005, TACAS.