392 search results - page 46 / 79 » The engineering of concurrent simulations of complex systems |
IISWC
2008
IEEE
14 years 2 months ago
2008
IEEE
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...
AMAST
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper attempts to evaluate the performance of an environmental mitigation banking system operating under different regulatory. Pricing and subsidization policies using system...
TACS
2001
Springer
14 years 12 days ago
2001
Springer
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
WSC
2008
13 years 10 months ago
2008
Many inference methods of queueing systems have been developed on the basis of Larson's QIE(queue inference engine) with the assumption of homogeneous Poisson arrivals. It in...