1316 search results - page 122 / 264 » Analytic performance models for bounded queueing systems |
115
click to vote
ICC
2007
IEEE
15 years 7 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...
127
click to vote
RTAS
2008
IEEE
15 years 8 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...
145
Voted
SCP
2000
15 years 1 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...
123
click to vote
ICCD
1995
IEEE
15 years 5 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...
125
click to vote
SIGMETRICS
2011
ACM
14 years 4 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...