Sciweavers

3192 search results - page 105 / 639
» Translating Model Simulators to Analysis Models
Sort
View
DATE
2002
IEEE
111views Hardware» more  DATE 2002»
15 years 2 months ago
A Linear-Centric Modeling Approach to Harmonic Balance Analysis
In this paper we propose a new harmonic balance simulation methodology based on a linear-centric modeling approach. A linear circuit representation of the nonlinear devices and as...
Peng Li, Lawrence T. Pileggi
DAC
1996
ACM
15 years 2 months ago
Efficient Full-Wave Electromagnetic Analysis via Model-Order Reduction of Fast Integral Transforms
Abstract-An efficient full-wave electromagnetic analysis tool would be useful in many aspects of engineering design. Development of integral-equation based tools has been hampered ...
Joel R. Philips, Eli Chiprout, David D. Ling
SIGCOMM
2004
ACM
15 years 3 months ago
Modeling and performance analysis of BitTorrent-like peer-to-peer networks
In this paper, we develop simple models to study the performance of BitTorrent, a second generation peer-to-peer (P2P) application. We first present a simple fluid model and stu...
Dongyu Qiu, Rayadurgam Srikant
IJAHUC
2010
110views more  IJAHUC 2010»
14 years 8 months ago
Agenda driven mobility modelling
: Mobility modelling is an essential component of wireless and mobile networking research. Our proposed Agenda Driven Mobility Model takes into consideration a person’s social ac...
Qunwei Zheng, Xiaoyan Hong, Jun Liu, David Cordes,...
IPPS
2008
IEEE
15 years 4 months ago
Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
Peter Csaba Ölveczky, Pavithra Prabhakar, Xue...