924 search results - page 111 / 185 » Teaching simulation using case studies |
102
click to vote
ICIP
2002
IEEE
16 years 1 months ago
2002
IEEE
Transmission of high quality video over the Internet faces many challanges including unpredictable packet loss characteristics of the current Internet and the heterogeneity of rec...
DAC
2002
ACM
16 years 25 days ago
2002
ACM
We present an analytical method to evaluate embedded network packet processor architectures, and to explore their design space. Our approach is in contrast to those based on simul...
WWW
2004
ACM
16 years 16 days ago
2004
ACM
Enterprises today wish to manage their IT resources so as to optimize business objectives, such as income, rather than IT metrics, such as response times. Therefore, we introduce ...
CAV
2009
Springer
16 years 12 days ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
QEST
2009
IEEE
15 years 6 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...