A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...
With the increasing popularity of small to large-scale symmetric multiprocessor (SMP) systems, there has been a dire need to have sophisticated, and flexible development and runt...
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...
This paper reviews the movement of open access (OA) journals in Iran, investigates and compares the influence of Iranian journals in terms of citation ranking, using the Citation ...
Abstract. This paper discusses the simple open student models used in two of our constraint-based tutors, SQLd KERMIT, and their effects on self-assessment. The systems present a h...