AspectC++: an aspect-oriented extension to the C++ programming language
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Design and Analyze the Communication in the Multi-Core Soc Driven by Petri Net
ICAS '07 Proceedings of the Third International Conference on Autonomic and Autonomous Systems
Mop: an efficient and generic runtime verification framework
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
The Design of a Multicore Extension of the SPIN Model Checker
IEEE Transactions on Software Engineering
Scalable multi-core LTL model-checking
Proceedings of the 14th international SPIN conference on Model checking software
Java-MOP: a monitoring oriented programming environment for java
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
International workshop on multicore software engineering (IWMSE 2008)
Companion of the 30th international conference on Software engineering
Enabling multi-core based monitoring and fault tolerance in C++/Java
Proceedings of the 3rd International Workshop on Multicore Software Engineering
Extending Ada to support multi-core based monitoring and fault tolerance
Proceedings of the ACM SIGAda annual international conference on SIGAda
A weighted-fair-queuing (WFQ)-based dynamic request scheduling approach in a multi-core system
Future Generation Computer Systems
| Hi-index | 0.00 |
Along with the development of the multi-core architecture, high performance computing platform is produced to satisfy users' requirement for solving large and complex problems. Multi-core architecture has become a new trend in the verification field to improve the performance. With the explosion of software size, Monitoring-Oriented Programming (MOP) is considered as a design trend to increase reliability of the software systems. In this paper, we have done the experiment for a case study which is a preliminary exploration for integrating MOP with multi-core architecture. Our work shows that multi-core architecture can improve the efficiency of MOP. It will be the groundwork of our discussion about "how to design a good monitor?" in the future work.