1886 search results - page 24 / 378 » Verifying and validating a simulation model |
TWC
2010
14 years 4 months ago
2010
This paper analyzes the performance of an energy detector over wireless channels with composite multipath fading and shadowing effects. These effects are modeled by using the and ...
ANSS
2007
IEEE
15 years 4 months ago
2007
IEEE
As wireless networks have become more complex with packet services and sophisticated modulation techniques, validation using multidimensional Markov Chain models has become increa...
103
click to vote
ISBMS
2010
Springer
15 years 2 months ago
2010
Springer
Radio-frequency (RF) ablation is a minimal invasive thermal therapy, currently considered as an alternative to surgery to eradicate small solid kidney tumors. Our aim is to underst...
IPPS
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
MTV
2003
IEEE
15 years 2 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...