1886 search results - page 128 / 378 » Verifying and Validating Simulation Models |
VLSID
2010
IEEE
15 years 1 months ago
2010
IEEE
—We propose a compact model for small signal non quasi static analysis of long channel symmetric double gate MOSFET. The model is based on the EKV formalism and is valid in all r...
GLOBECOM
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--We present an analytical model combining geometric and stochastic approaches to describe the effects of attacks and countermeasures on MANETs. In particular, we focus on ...
ICNS
2007
IEEE
15 years 4 months ago
2007
IEEE
—This paper presents an Erlang reduced load model to analyze Optical Burst Switched Grid networks. The model allows the evaluation of job blocking probabilities, in which blockin...
NSDI
2008
15 years 8 days ago
2008
We present the design and evaluation of Passport, a system that allows source addresses to be validated within the network. Passport uses efficient, symmetric-key cryptography to ...
FM
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...