We extend and implement a modeling language based on concurrent active objects with application-level scheduling policies. The language allows a programmer to assign priorities at the application level, for example, to method definitions and method invocations, and assign corresponding policies to the individual active objects for scheduling the messages. Thus …
read moreOther presentations
Multicore Programming in Object-Oriented Languages
We studied different languages and libraries that brought multicore programming methods into object-oriented languages. The methods included Actor model, software transactional memory, and data flow programming. The languages included Java, C++, Python, and C#.
read moreMessage sequence monitoring without code instrumentation
One of the problems in software testing is to specify and verify the execution of a sequence of method calls in object-oriented software. In this paper, we introduce JMSeq to propose a formal method based on context-free grammars to specify a sequence of method calls; it provides a simple way …
read more
Page 1 / 1