6014 search results - page 760 / 1203 » Parametric Analysis of Computer Systems |
173
Voted
ICDCSW
2006
IEEE
16 years 26 days ago
2006
IEEE
Interdomain routing is essential to both the stability and efficiency of the global Internet. However, most previous studies focus only on stability, and only on a special class ...
159
click to vote
ISLPED
2006
ACM
16 years 24 days ago
2006
ACM
Many techniques have been developed for adaptive power management of computing systems. These techniques rely on the presence of varying power phases to detect opportunities for a...
210
click to vote
IPPS
2005
IEEE
16 years 12 days ago
2005
IEEE
Buffered CoScheduled (BCS) MPI is a novel implementation of MPI based on global synchronization of all system activities. BCS-MPI imposes a model where all processes and their com...
175
click to vote
DSVIS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
278
click to vote
MM
2003
ACM
16 years 2 days ago
2003
ACM
We present a new model of interactive audio for entertainment and communication. A new device called the DJammer and its associated technologies are described. The DJammer introdu...