162 search results - page 18 / 33 » Symbolic Performance and Dependability Evaluation with the T... |
133
click to vote
HPDC
1996
IEEE
15 years 10 months ago
1996
IEEE
One purpose of the MBone is to study the performance of multicast and real-time protocols in global conferencing applications. Part of this evaluation is dependent on understandin...
168
click to vote
CISS
2008
IEEE
16 years 17 days ago
2008
IEEE
— We propose an implementable new universal lossy source coding algorithm. The new algorithm utilizes two wellknown tools from statistical physics and computer science: Gibbs sam...
173
Voted
PLDI
2009
ACM
16 years 27 days ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
147
Voted
HICSS
2010
IEEE
16 years 29 days ago
2010
IEEE
Planning a new logistics center is a quite difficult job. Depending on the requirements there are a great number of possible design versions. The planner has to consider not only ...
138
click to vote
INFOCOM
2008
IEEE
16 years 15 days ago
2008
IEEE
—It is well known that a packet loss in 802.11 can happen either due to collision or an insufficiently strong signal. However, discerning the exact cause of a packet loss, once ...