2067 search results - page 157 / 414 » Modeling and Simulation of Operating System Behavior |
195
Voted
SIGMETRICS
1996
ACM
15 years 9 months ago
1996
ACM
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...
128
Voted
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this work, we explore the mechanical behavior of gecko hairs by means of macromodels. The macromodel has four spatular hairs operating by magnetic forces instead of van der W...
132
click to vote
EDOC
2007
IEEE
15 years 11 months ago
2007
IEEE
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analy...
152
click to vote
QEST
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
143
click to vote
IFIP
2010
Springer
14 years 12 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...