Learn More
Distributed Shared-Memory (DSM) multiprocessors provide an attractive combination of cost-effective commodity architecture and, thanks to the shared-memory abstraction, relative ease of programming. Unfortunately, it is well known that tuning applications for scalable performance in these machines is time-consuming. To address this problem, programmers use(More)
— Despite the development of many modeling formalisms and model solution methods, most tool implementations support only a single formalism. Furthermore, models expressed in a chosen formalism cannot be combined with models expressed in other formalisms. This paper describes a modeling tool called Möbius, which provides an infrastructure to support multiple(More)
Many distributed applications have to meet their performance or quality-of-service goals in environments where available resources change contantly. Important classes of distributed applications (including distributed multimedia codes, applications for mobile devices, and computational grid codes) use <i>runtime adaptation</i> in order to achieve their(More)
In this work, we present a first effort at quantitatively comparing the strengths and limitations of various intrusion-tolerant server architectures. We study four representative architectures, and use stochas-tic models to quantify the costs and benefits of each from both the performance and dependability perspectives. We present results characterizing(More)
  • William H Sanders, Tod Courtney, Daniel Deavours, David Daly, Salem Derisavi, Vinh Lam
  • 2003
Despite the development of many modeling formalisms and model solution methods, most tool implementations support only a single formalism. Furthermore, models expressed in a chosen formalism cannot be combined to interact with models expressed in other formalisms. This chapter provides an overview of selected performance/dependability modeling tools(More)
This tool paper presents the integration of the MODEST specification language into the M ¨ OBIUS framework. The M ¨ OBIUS framework. The M ¨ OBIUS framework [2] is an environment for supporting multiple modeling formalisms and solution techniques. Models expressed in formalisms that are compatible with the framework are translated into equivalent models(More)
Structured (a.k.a. symbolic) representation techniques of Markov models have, to a large extent, been used effectively for representing very large transition matrices and their associated state spaces. However, their success means that the largest space requirement encountered when analyzing these models is often the representation of their iteration and(More)