Saliency-based analysis can be applied to time-varying 3D datasets purpose of summarization, abstraction, and motion analysis. As the sizes of time-varying datasets continue to gro...
Youngmin Kim, Robert Patro, Cheuk Yiu Ip, Dianne P...
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
Despite the fact that EJB (Enterprise Java Beans) is a widely used technology, research in the area of performance modelling of EJB application servers is quite sparse. This paper...
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
Visualization and interactivity are valuable active learning techniques that can improve mastery of difficult concepts. In this paper we describe jFAST, an easy-to-use graphical s...