46 search results - page 2 / 10 » Guiding simulation with increasingly refined abstract traces |
ESTIMEDIA
2006
Springer
13 years 8 months ago
2006
Springer
The Sesame modeling and simulation framework aims at efficient system-level design space exploration of embedded multimedia systems. A primary objective of Sesame is the ion at mu...
IFIP
2010
Springer
12 years 11 months ago
2010
Springer
Abstract. In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, ne the native speed of a...
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
EUROPAR
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Many advances in grid resource management are still required to realize the grid computing vision of the integration of a worldwide computing infrastructure for scientifi...
KDD
2010
ACM
13 years 3 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...