2067 search results - page 136 / 414 » Modeling and Simulation of Operating System Behavior |
138
Voted
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...
140
click to vote
ASPLOS
1992
ACM
15 years 9 months ago
1992
ACM
We describe and evaluate a strategy for declustering the parity encoding in a redundant disk array. This declustered parity organization balances cost against data reliability and...
158
click to vote
RITA
2000
15 years 4 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
179
Voted
DSN
2000
IEEE
15 years 9 months ago
2000
IEEE
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...
163
click to vote
ASPDAC
2011
ACM
14 years 8 months ago
2011
ACM
This paper studies realization and performance comparison of the sequential and weak consistency models in the network-on-chip (NoC) based distributed shared memory (DSM) multi-cor...