1316 search results - page 122 / 264 » Analytic performance models for bounded queueing systems |
134
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Exploiting signal space diversity (SSD) to improve the error performance of communications systems over fading channels has been shown to be a very effective technique. The app...
146
Voted
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Real-time schedulability theory requires a priori knowledge of the worst-case execution time (WCET) of every task in the system. Fundamental to the calculation of WCET is a schedu...
169
Voted
SCP
2000
15 years 3 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
140
Voted
ICCD
1995
IEEE
15 years 7 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
146
Voted
SIGMETRICS
2011
ACM
14 years 6 months ago
2011
ACM
The workloads in modern Chip-multiprocessors (CMP) are becoming increasingly diversified, creating different resource demands on hardware substrate. It is necessary to allocate h...