2470 search results - page 28 / 494 » Liveness-Preserving Simulation Relations |
MASCOTS
2004
13 years 11 months ago
2004
This paper uses trace-driven simulations to evaluate two novel Web server scheduling policies called KSRPT and T-SRPT. K-SRPT is a multi-threaded version of SRPT (Shortest Remaini...
MSV
2004
13 years 11 months ago
2004
- We present a model describing the electrical behavior of the heart tissue. Previous research in this field have studied this problem using PDEs (Partial Differential Equations) a...
EOR
2006
13 years 10 months ago
2006
Simulation experiments are often analyzed through a linear regression model of their input/output data. Such an analysis yields a metamodel or response surface for the underlying ...
ICUMT
2009
13 years 7 months ago
2009
Massive Multiuser Virtual Environments (MMVEs) are rapidly expanding both in the number of users and complexity of interactions. Their needs of computational resources offer new ch...
JCIT
2010
13 years 4 months ago
2010
With China's rapid economic development, electricity supply is relatively shortage, and the contradiction of power coal supply and demand is prominent. In this context, using...