306 search results - page 39 / 62 » Symmetric Component Caching |
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Employing COTS components in real-time embedded systems leads to timing challenges. When multiple CPU cores and DMA peripherals run simultaneously, contention for access...
75
Voted
DSOM
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. With many organizations now employing multiple data centres around the world to share global traffic load, it is important to understand the effects of geographical distr...
DSN
2008
IEEE
15 years 21 days ago
2008
IEEE
CMOS technology trends are leading to an increasing incidence of hard (permanent) faults in processors. These faults may be introduced at fabrication or occur in the field. Wherea...
99
Voted
ASC
2000
15 years 8 days ago
2000
A new language and inference algorithm for stochastic modeling is presented. This work refines and generalizes the stochastic functional language originally proposed by [1]. The l...
92
Voted
PSTV
1993
15 years 7 days ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...